method on_child_view_destroy n = List.iter paned#remove paned#children; on_destroy (if n = 1 then child2 else child1); child1 <- None; child2 <- None; paned#destroy()