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()