helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/gTree2.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 item_up : pos:int -> unit
  50     method remove_items : tree_item list -> unit
  51     method select_item : pos:int -> unit
  52     method selection : tree_item list
  53 (*    method set_selection_mode : Tags.selection_mode -> unit *)
  54     method set_view_lines : bool -> unit
  55 (*    method set_view_mode : [`LINE|`ITEM] -> unit *)
  56     method unselect_item : pos:int -> unit
  57     method private wrap : Gtk.widget obj -> tree_item
  58   end
  59
  60 val tree_item :
  61   ?label:string ->
  62   ?border_width:int ->
  63   ?width:int ->
  64   ?height:int ->
  65   ?packing:(tree_item -> unit) -> ?show:bool -> unit -> tree_item
  66
  67 val tree :
  68   ?selection_mode:Tags.selection_mode ->
  69   ?view_mode:[`LINE|`ITEM] ->
  70   ?view_lines:bool ->
  71   ?border_width:int ->
  72   ?width:int ->
  73   ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> tree