Gtk.paned Gtk.obj ->
object
val obj : Gtk.paned Gtk.obj
method add : GObj.widget -> unit
method add1 : GObj.widget -> unit
method add2 : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child1 : GObj.widget
method child2 : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method get_oid : int
method max_position : int
method min_position : int
method misc : GObj.misc_ops
method pack1 : ?resize:bool -> ?shrink:bool -> GObj.widget -> unit
method pack2 : ?resize:bool -> ?shrink:bool -> GObj.widget -> unit
method position : int
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_position : int -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
end