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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gTree.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gTree.mli
new file mode 100644
index 000000000..d48e09b2a
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gTree.mli
@@ -0,0 +1,72 @@
+(* $Id$ *)
+
+open Gtk
+open GObj
+open GContainer
+
+class tree_item_signals : 'a obj ->
+  object
+    inherit item_signals
+    constraint 'a = [>`treeitem|`container|`item|`widget]
+    val obj : 'a obj
+    method collapse : callback:(unit -> unit) -> GtkSignal.id
+    method expand : callback:(unit -> unit) -> GtkSignal.id
+  end
+
+class tree_item : Gtk.tree_item obj ->
+  object
+    inherit GContainer.container
+    val obj : Gtk.tree_item obj
+    method event : event_ops
+    method as_item : Gtk.tree_item obj
+    method collapse : unit -> unit
+    method connect : tree_item_signals
+    method expand : unit -> unit
+    method remove_subtree : unit -> unit
+    method set_subtree : tree -> unit
+    method subtree : tree option
+  end
+
+and tree_signals : Gtk.tree obj ->
+  object
+    inherit container_signals
+    val obj : Gtk.tree obj
+    method select_child : callback:(tree_item -> unit) -> GtkSignal.id
+    method selection_changed : callback:(unit -> unit) -> GtkSignal.id
+    method unselect_child : callback:(tree_item -> unit) -> GtkSignal.id
+  end
+
+and tree : Gtk.tree obj ->
+  object
+    inherit [tree_item] item_container
+    val obj : Gtk.tree obj
+    method event : event_ops
+    method as_tree : Gtk.tree obj
+    method child_position : tree_item -> int
+    method clear_items : start:int -> stop:int -> unit
+    method connect : tree_signals
+    method insert : tree_item -> pos:int -> unit
+    method remove_items : tree_item list -> unit
+    method select_item : pos:int -> unit
+    method selection : tree_item list
+    method set_selection_mode : Tags.selection_mode -> unit
+    method set_view_lines : bool -> unit
+    method set_view_mode : [`LINE|`ITEM] -> unit
+    method unselect_item : pos:int -> unit
+    method private wrap : Gtk.widget obj -> tree_item
+  end
+
+val tree_item :
+  ?label:string ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(tree_item -> unit) -> ?show:bool -> unit -> tree_item
+
+val tree :
+  ?selection_mode:Tags.selection_mode ->
+  ?view_mode:[`LINE|`ITEM] ->
+  ?view_lines:bool ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> tree