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)