--- /dev/null
+(* $Id$ *)
+
+open Gtk
+open GObj
+open GContainer
+
+class box_skel :
+ 'a obj ->
+ object
+ inherit container
+ constraint 'a = [>`box|`container|`widget]
+ val obj : 'a obj
+ method pack :
+ ?from:Tags.pack_type ->
+ ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
+ method reorder_child : widget -> pos:int -> unit
+ method set_child_packing :
+ ?from:Tags.pack_type ->
+ ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
+ method set_homogeneous : bool -> unit
+ method set_spacing : int -> unit
+ end
+class box :
+ 'a obj ->
+ object
+ inherit box_skel
+ constraint 'a = [>`box|`container|`widget]
+ val obj : 'a obj
+ method connect : GContainer.container_signals
+ end
+
+val box :
+ Tags.orientation ->
+ ?homogeneous:bool ->
+ ?spacing:int ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
+val vbox :
+ ?homogeneous:bool ->
+ ?spacing:int ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
+val hbox :
+ ?homogeneous:bool ->
+ ?spacing:int ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
+
+class button_box :
+ Gtk.button_box obj ->
+ object
+ inherit container_full
+ val obj : Gtk.button_box obj
+ method pack :
+ ?from:Tags.pack_type ->
+ ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
+ method reorder_child : widget -> pos:int -> unit
+ method set_child_ipadding : ?x:int -> ?y:int -> unit -> unit
+ method set_child_packing :
+ ?from:Tags.pack_type ->
+ ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
+ method set_child_size : ?width:int -> ?height:int -> unit -> unit
+ method set_homogeneous : bool -> unit
+ method set_layout : GtkPack.BBox.bbox_style -> unit
+ method set_spacing : int -> unit
+ end
+val button_box :
+ Tags.orientation ->
+ ?spacing:int ->
+ ?child_width:int ->
+ ?child_height:int ->
+ ?child_ipadx:int ->
+ ?child_ipady:int ->
+ ?layout:GtkPack.BBox.bbox_style ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> button_box
+
+class table :
+ Gtk.table obj ->
+ object
+ inherit container_full
+ val obj : Gtk.table obj
+ method attach :
+ left:int ->
+ top:int ->
+ ?right:int ->
+ ?bottom:int ->
+ ?expand:Tags.expand_type ->
+ ?fill:Tags.expand_type ->
+ ?shrink:Tags.expand_type ->
+ ?xpadding:int -> ?ypadding:int -> widget -> unit
+ method set_col_spacing : int -> int -> unit
+ method set_col_spacings : int -> unit
+ method set_homogeneous : bool -> unit
+ method set_row_spacing : int -> int -> unit
+ method set_row_spacings : int -> unit
+ end
+val table :
+ rows:int ->
+ columns:int ->
+ ?homogeneous:bool ->
+ ?row_spacings:int ->
+ ?col_spacings:int ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> table
+
+class fixed :
+ Gtk.fixed obj ->
+ object
+ inherit container_full
+ val obj : Gtk.fixed obj
+ method event : event_ops
+ method move : widget -> x:int -> y:int -> unit
+ method put : widget -> x:int -> y:int -> unit
+ end
+val fixed :
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> fixed
+
+class layout :
+ Gtk.layout obj ->
+ object
+ inherit container_full
+ val obj : Gtk.layout obj
+ method event : event_ops
+ method freeze : unit -> unit
+ method hadjustment : GData.adjustment
+ method height : int
+ method move : widget -> x:int -> y:int -> unit
+ method put : widget -> x:int -> y:int -> unit
+ method set_hadjustment : GData.adjustment -> unit
+ method set_height : int -> unit
+ method set_vadjustment : GData.adjustment -> unit
+ method set_width : int -> unit
+ method thaw : unit -> unit
+ method vadjustment : GData.adjustment
+ method width : int
+ end
+val layout :
+ ?hadjustment:GData.adjustment ->
+ ?vadjustment:GData.adjustment ->
+ ?layout_width:int ->
+ ?layout_height:int ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> layout
+
+class notebook_signals : 'a obj ->
+ object
+ inherit container_signals
+ constraint 'a = [>`notebook|`container|`widget]
+ val obj : 'a obj
+ method switch_page : callback:(int -> unit) -> GtkSignal.id
+ end
+
+class notebook : ([> `widget | `container | `notebook] as 'a) obj ->
+ object
+ inherit container
+ val obj : 'a obj
+ method event : event_ops
+ method append_page :
+ ?tab_label:widget -> ?menu_label:widget -> widget -> unit
+ method connect : notebook_signals
+ method current_page : int
+ method get_menu_label : widget -> widget
+ method get_nth_page : int -> widget
+ method get_tab_label : widget -> widget
+ method goto_page : int -> unit
+ method insert_page :
+ ?tab_label:widget -> ?menu_label:widget -> pos:int -> widget -> unit
+ method next_page : unit -> unit
+ method page_num : widget -> int
+ method prepend_page :
+ ?tab_label:widget -> ?menu_label:widget -> widget -> unit
+ method previous_page : unit -> unit
+ method remove_page : int -> unit
+ method set_homogeneous_tabs : bool -> unit
+ method set_page :
+ ?tab_label:widget -> ?menu_label:widget -> widget -> unit
+ method set_popup : bool -> unit
+ method set_scrollable : bool -> unit
+ method set_show_border : bool -> unit
+ method set_show_tabs : bool -> unit
+ method set_tab_border : int -> unit
+ method set_tab_pos : Tags.position -> unit
+ end
+val notebook :
+ ?tab_pos:Tags.position ->
+ ?tab_border:int ->
+ ?show_tabs:bool ->
+ ?homogeneous_tabs:bool ->
+ ?show_border:bool ->
+ ?scrollable:bool ->
+ ?popup:bool ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> notebook
+
+class packer :
+ Gtk.packer obj ->
+ object
+ inherit container_full
+ val obj : Gtk.packer obj
+ method pack :
+ ?side:Tags.side_type ->
+ ?anchor:Tags.anchor_type ->
+ ?expand:bool ->
+ ?fill:Tags.expand_type ->
+ ?border_width:int ->
+ ?pad_x:int ->
+ ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> widget -> unit
+ method reorder_child : widget -> pos:int -> unit
+ method set_child_packing :
+ ?side:Tags.side_type ->
+ ?anchor:Tags.anchor_type ->
+ ?expand:bool ->
+ ?fill:Tags.expand_type ->
+ ?border_width:int ->
+ ?pad_x:int ->
+ ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> widget -> unit
+ method set_defaults :
+ ?border_width:int ->
+ ?pad_x:int ->
+ ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> unit -> unit
+ method set_spacing : int -> unit
+ end
+val packer :
+ ?spacing:int ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> packer
+
+class paned :
+ Gtk.paned obj ->
+ object
+ inherit container_full
+ val obj : Gtk.paned obj
+ method add1 : widget -> unit
+ method add2 : widget -> unit
+ method event : event_ops
+ method child1 : widget
+ method child2 : widget
+ method gutter_size : int
+ method handle_size : int
+ method set_gutter_size : int -> unit
+ method set_handle_size : int -> unit
+ end
+val paned :
+ Tags.orientation ->
+ ?handle_size:int ->
+ ?gutter_size:int ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> paned