method set_children_views v1 v2 =
      self#set_one_child 1 (`View v1);
      self#set_one_child 2 (`View v2);
      let (w,h) =
        Gdk.Drawable.get_size
          (Gdk.Drawable.cast paned#misc#window)
      in
      let p = match orientation with
        `VERTICAL -> h
      | `HORIZONTAL -> w
      in
      paned#set_position (p / 2)