class paned :Gtk.paned Gtk.obj ->object..end
Base class for widgets with two adjustable panes
val obj : Gtk.paned Gtk.obj
method event : GObj.event_ops
method add1 : GObj.widget -> unit
method add2 : GObj.widget -> unit
method pack1 : ?resize:bool -> ?shrink:bool -> GObj.widget -> unitresize : default value is falseshrink : default value is falsemethod pack2 : ?resize:bool -> ?shrink:bool -> GObj.widget -> unitresize : default value is falseshrink : default value is falsemethod child1 : GObj.widget
method child2 : GObj.widget
method set_position : int -> unit
method position : int
method max_position : intmethod min_position : int