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

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