X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgPack.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgPack.mli;h=994c8b87f295f89f42f87ffe4d850737809a4292;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=0000000000000000000000000000000000000000;hpb=34d83812af9b7064cc8f735c2a78169881140010;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gPack.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gPack.mli
new file mode 100644
index 000000000..994c8b87f
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gPack.mli
@@ -0,0 +1,267 @@
+(* $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