helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gList.mli

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5 open GContainer
   6
   7 class list_item : Gtk.list_item obj ->
   8   object
   9     inherit container
  10     val obj : Gtk.list_item obj
  11     method event : event_ops
  12     method as_item : Gtk.list_item obj
  13     method connect : item_signals
  14     method deselect : unit -> unit
  15     method select : unit -> unit
  16     method toggle : unit -> unit
  17   end
  18 val list_item :
  19   ?label:string ->
  20   ?border_width:int ->
  21   ?width:int ->
  22   ?height:int ->
  23   ?packing:(list_item -> unit) -> ?show:bool -> unit -> list_item
  24
  25 class liste : Gtk.liste obj ->
  26   object
  27     inherit [list_item] item_container
  28     val obj : Gtk.liste obj
  29     method child_position : list_item -> int
  30     method clear_items : start:int -> stop:int -> unit
  31     method insert : list_item -> pos:int -> unit
  32     method select_item : pos:int -> unit
  33     method unselect_item : pos:int -> unit
  34     method private wrap : Gtk.widget obj -> list_item
  35   end
  36 val liste :
  37   ?selection_mode:Tags.selection_mode ->
  38   ?border_width:int ->
  39   ?width:int ->
  40   ?height:int ->
  41   ?packing:(widget -> unit) -> ?show:bool -> unit -> liste
  42
  43 class clist_signals : 'a obj ->
  44   object
  45     inherit container_signals
  46     constraint 'a = [>`clist|`container|`widget]
  47     val obj : 'a obj
  48     method click_column : callback:(int -> unit) -> GtkSignal.id
  49     method select_row :
  50       callback:(row:int ->
  51                 column:int -> event:GdkEvent.Button.t option -> unit) ->
  52       GtkSignal.id
  53     method unselect_row :
  54       callback:(row:int ->
  55                 column:int -> event:GdkEvent.Button.t option -> unit) ->
  56       GtkSignal.id
  57     method scroll_horizontal :
  58       callback:(Tags.scroll_type -> pos:clampf -> unit) -> GtkSignal.id
  59     method scroll_vertical :
  60       callback:(Tags.scroll_type -> pos:clampf -> unit) -> GtkSignal.id
  61   end
  62
  63 class ['a] clist : Gtk.clist obj ->
  64   object
  65     inherit widget
  66     val obj : Gtk.clist obj
  67     method event : event_ops
  68     method append : string list -> int
  69     method cell_pixmap : int -> int -> GDraw.pixmap option
  70     method cell_style : int -> int -> style option
  71     method cell_text : int -> int -> string
  72     method cell_type : int -> int -> Tags.cell_type
  73     method clear : unit -> unit
  74     method column_title : int -> string
  75     method column_widget : int -> widget
  76     method columns : int
  77     method columns_autosize : unit -> unit
  78     method connect : clist_signals
  79     method focus_row : int
  80     method freeze : unit -> unit
  81     method get_row_column : x:int -> y:int -> int * int
  82     method get_row_data : int -> 'a
  83     method hadjustment : GData.adjustment
  84     method insert : row:int -> string list -> int
  85     method moveto :
  86       ?row_align:clampf -> ?col_align:clampf -> int -> int -> unit
  87     method optimal_column_width : int -> int
  88     method prepend : string list -> int
  89     method remove : row:int -> unit
  90     method row_is_visible : int -> Tags.visibility
  91     method row_move : int -> dst:int -> unit
  92     method row_selectable : int -> bool
  93     method row_style : int -> style option
  94     method rows : int
  95     method scroll_vertical : Tags.scroll_type -> pos:clampf -> unit
  96     method scroll_horizontal : Tags.scroll_type -> pos:clampf -> unit
  97     method select : int -> int -> unit
  98     method select_all : unit -> unit
  99     method set_border_width : int -> unit
 100     method set_button_actions : int -> Tags.button_action list -> unit
 101     method set_cell :
 102       ?text:string ->
 103       ?pixmap:GDraw.pixmap ->
 104       ?spacing:int -> ?style:style -> int -> int -> unit
 105     method set_column :
 106       ?widget:widget ->
 107       ?title:string ->
 108       ?title_active:bool ->
 109       ?justification:Tags.justification ->
 110       ?visibility:bool ->
 111       ?resizeable:bool ->
 112       ?auto_resize:bool ->
 113       ?width:int -> ?min_width:int -> ?max_width:int -> int -> unit
 114     method set_hadjustment : GData.adjustment -> unit
 115     method set_reorderable : bool -> unit
 116     method set_row :
 117       ?foreground:GDraw.optcolor ->
 118       ?background:GDraw.optcolor ->
 119       ?selectable:bool ->
 120       ?style:style -> int -> unit
 121     method set_row_data : int -> data:'a -> unit
 122     method set_row_height : int -> unit
 123     method set_selection_mode : Tags.selection_mode -> unit
 124     method set_shadow_type : Tags.shadow_type -> unit
 125     method set_shift : int -> int -> vertical:int -> horizontal:int -> unit
 126     method set_sort :
 127       ?auto:bool -> ?column:int -> ?dir:Tags.sort_type -> unit -> unit
 128     method set_titles_active : bool -> unit
 129     method set_titles_show : bool -> unit
 130     method set_use_drag_icons : bool -> unit
 131     method set_vadjustment : GData.adjustment -> unit
 132     method sort : unit -> unit
 133     method swap_rows : int -> int -> unit
 134     method thaw : unit -> unit
 135     method unselect : int -> int -> unit
 136     method unselect_all : unit -> unit
 137     method vadjustment : GData.adjustment
 138   end
 139 val clist :
 140   ?columns:int ->
 141   ?titles:string list ->
 142   ?hadjustment:GData.adjustment ->
 143   ?vadjustment:GData.adjustment ->
 144   ?shadow_type:Tags.shadow_type ->
 145   ?button_actions:(int * Tags.button_action list) list ->
 146   ?selection_mode:Tags.selection_mode ->
 147   ?reorderable:bool ->
 148   ?use_drag_icons:bool ->
 149   ?row_height:int ->
 150   ?titles_show:bool ->
 151   ?titles_active:bool ->
 152   ?auto_sort:bool ->
 153   ?sort_column:int ->
 154   ?sort_type:Tags.sort_type ->
 155   ?border_width:int ->
 156   ?width:int ->
 157   ?height:int ->
 158   ?packing:(widget -> unit) -> ?show:bool -> unit -> 'a clist