]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gTree.mli
updated the binding so that it works well with lablgtk-1.00,
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / gTree.mli
1 (* $Id$ *)
2
3 open Gtk
4 open GObj
5 open GContainer
6
7 class tree_item_signals : 'a obj ->
8   object
9     inherit item_signals
10     constraint 'a = [>`treeitem|`container|`item|`widget]
11     val obj : 'a obj
12     method collapse : callback:(unit -> unit) -> GtkSignal.id
13     method expand : callback:(unit -> unit) -> GtkSignal.id
14   end
15
16 class tree_item : Gtk.tree_item obj ->
17   object
18     inherit GContainer.container
19     val obj : Gtk.tree_item obj
20     method event : event_ops
21     method as_item : Gtk.tree_item obj
22     method collapse : unit -> unit
23     method connect : tree_item_signals
24     method expand : unit -> unit
25     method remove_subtree : unit -> unit
26     method set_subtree : tree -> unit
27     method subtree : tree option
28   end
29
30 and tree_signals : Gtk.tree obj ->
31   object
32     inherit container_signals
33     val obj : Gtk.tree obj
34     method select_child : callback:(tree_item -> unit) -> GtkSignal.id
35     method selection_changed : callback:(unit -> unit) -> GtkSignal.id
36     method unselect_child : callback:(tree_item -> unit) -> GtkSignal.id
37   end
38
39 and tree : Gtk.tree obj ->
40   object
41     inherit [tree_item] item_container
42     val obj : Gtk.tree obj
43     method event : event_ops
44     method as_tree : Gtk.tree obj
45     method child_position : tree_item -> int
46     method clear_items : start:int -> stop:int -> unit
47     method connect : tree_signals
48     method insert : tree_item -> pos:int -> unit
49     method remove_items : tree_item list -> unit
50     method select_item : pos:int -> unit
51     method selection : tree_item list
52     method set_selection_mode : Tags.selection_mode -> unit
53     method set_view_lines : bool -> unit
54     method set_view_mode : [`LINE|`ITEM] -> unit
55     method unselect_item : pos:int -> unit
56     method private wrap : Gtk.widget obj -> tree_item
57   end
58
59 val tree_item :
60   ?label:string ->
61   ?border_width:int ->
62   ?width:int ->
63   ?height:int ->
64   ?packing:(tree_item -> unit) -> ?show:bool -> unit -> tree_item
65
66 val tree :
67   ?selection_mode:Tags.selection_mode ->
68   ?view_mode:[`LINE|`ITEM] ->
69   ?view_lines:bool ->
70   ?border_width:int ->
71   ?width:int ->
72   ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> tree