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

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5 open GContainer
   6
   7 class box_skel :
   8   'a obj ->
   9   object
  10     inherit container
  11     constraint 'a = [>`box|`container|`widget]
  12     val obj : 'a obj
  13     method pack :
  14       ?from:Tags.pack_type ->
  15       ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
  16     method reorder_child : widget -> pos:int -> unit
  17     method set_child_packing :
  18       ?from:Tags.pack_type ->
  19       ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
  20     method set_homogeneous : bool -> unit
  21     method set_spacing : int -> unit
  22   end
  23 class box :
  24   'a obj ->
  25   object
  26     inherit box_skel
  27     constraint 'a = [>`box|`container|`widget]
  28     val obj : 'a obj
  29     method connect : GContainer.container_signals
  30   end
  31
  32 val box :
  33   Tags.orientation ->
  34   ?homogeneous:bool ->
  35   ?spacing:int ->
  36   ?border_width:int ->
  37   ?width:int ->
  38   ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
  39 val vbox :
  40   ?homogeneous:bool ->
  41   ?spacing:int ->
  42   ?border_width:int ->
  43   ?width:int ->
  44   ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
  45 val hbox :
  46   ?homogeneous:bool ->
  47   ?spacing:int ->
  48   ?border_width:int ->
  49   ?width:int ->
  50   ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
  51
  52 class button_box :
  53   Gtk.button_box obj ->
  54   object
  55     inherit container_full
  56     val obj : Gtk.button_box obj
  57     method pack :
  58       ?from:Tags.pack_type ->
  59       ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
  60     method reorder_child : widget -> pos:int -> unit
  61     method set_child_ipadding : ?x:int -> ?y:int -> unit -> unit
  62     method set_child_packing :
  63       ?from:Tags.pack_type ->
  64       ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
  65     method set_child_size : ?width:int -> ?height:int -> unit -> unit
  66     method set_homogeneous : bool -> unit
  67     method set_layout : GtkPack.BBox.bbox_style -> unit
  68     method set_spacing : int -> unit
  69   end
  70 val button_box :
  71   Tags.orientation ->
  72   ?spacing:int ->
  73   ?child_width:int ->
  74   ?child_height:int ->
  75   ?child_ipadx:int ->
  76   ?child_ipady:int ->
  77   ?layout:GtkPack.BBox.bbox_style ->
  78   ?border_width:int ->
  79   ?width:int ->
  80   ?height:int ->
  81   ?packing:(widget -> unit) -> ?show:bool -> unit -> button_box
  82
  83 class table :
  84   Gtk.table obj ->
  85   object
  86     inherit container_full
  87     val obj : Gtk.table obj
  88     method attach :
  89       left:int ->
  90       top:int ->
  91       ?right:int ->
  92       ?bottom:int ->
  93       ?expand:Tags.expand_type ->
  94       ?fill:Tags.expand_type ->
  95       ?shrink:Tags.expand_type ->
  96       ?xpadding:int -> ?ypadding:int -> widget -> unit
  97     method set_col_spacing : int -> int -> unit
  98     method set_col_spacings : int -> unit
  99     method set_homogeneous : bool -> unit
 100     method set_row_spacing : int -> int -> unit
 101     method set_row_spacings : int -> unit
 102   end
 103 val table :
 104   rows:int ->
 105   columns:int ->
 106   ?homogeneous:bool ->
 107   ?row_spacings:int ->
 108   ?col_spacings:int ->
 109   ?border_width:int ->
 110   ?width:int ->
 111   ?height:int ->
 112   ?packing:(widget -> unit) -> ?show:bool -> unit -> table
 113
 114 class fixed :
 115   Gtk.fixed obj ->
 116   object
 117     inherit container_full
 118     val obj : Gtk.fixed obj
 119     method event : event_ops
 120     method move : widget -> x:int -> y:int -> unit
 121     method put : widget -> x:int -> y:int -> unit
 122   end
 123 val fixed :
 124   ?border_width:int ->
 125   ?width:int ->
 126   ?height:int ->
 127   ?packing:(widget -> unit) -> ?show:bool -> unit -> fixed
 128
 129 class layout :
 130   Gtk.layout obj ->
 131   object
 132     inherit container_full
 133     val obj : Gtk.layout obj
 134     method event : event_ops
 135     method freeze : unit -> unit
 136     method hadjustment : GData.adjustment
 137     method height : int
 138     method move : widget -> x:int -> y:int -> unit
 139     method put : widget -> x:int -> y:int -> unit
 140     method set_hadjustment : GData.adjustment -> unit
 141     method set_height : int -> unit
 142     method set_vadjustment : GData.adjustment -> unit
 143     method set_width : int -> unit
 144     method thaw : unit -> unit
 145     method vadjustment : GData.adjustment
 146     method width : int
 147   end
 148 val layout :
 149   ?hadjustment:GData.adjustment ->
 150   ?vadjustment:GData.adjustment ->
 151   ?layout_width:int ->
 152   ?layout_height:int ->
 153   ?border_width:int ->
 154   ?width:int ->
 155   ?height:int ->
 156   ?packing:(widget -> unit) -> ?show:bool -> unit -> layout
 157
 158 class notebook_signals : 'a obj ->
 159   object
 160     inherit container_signals
 161     constraint 'a = [>`notebook|`container|`widget]
 162     val obj : 'a obj
 163     method switch_page : callback:(int -> unit) -> GtkSignal.id
 164   end
 165
 166 class notebook : ([> `widget | `container | `notebook] as 'a) obj ->
 167   object
 168     inherit container
 169     val obj : 'a obj
 170     method event : event_ops
 171     method append_page :
 172       ?tab_label:widget -> ?menu_label:widget -> widget -> unit
 173     method connect : notebook_signals
 174     method current_page : int
 175     method get_menu_label : widget -> widget
 176     method get_nth_page : int -> widget
 177     method get_tab_label : widget -> widget
 178     method goto_page : int -> unit
 179     method insert_page :
 180       ?tab_label:widget -> ?menu_label:widget -> pos:int -> widget -> unit
 181     method next_page : unit -> unit
 182     method page_num : widget -> int
 183     method prepend_page :
 184       ?tab_label:widget -> ?menu_label:widget -> widget -> unit
 185     method previous_page : unit -> unit
 186     method remove_page : int -> unit
 187     method set_homogeneous_tabs : bool -> unit
 188     method set_page :
 189       ?tab_label:widget -> ?menu_label:widget -> widget -> unit
 190     method set_popup : bool -> unit
 191     method set_scrollable : bool -> unit
 192     method set_show_border : bool -> unit
 193     method set_show_tabs : bool -> unit
 194     method set_tab_border : int -> unit
 195     method set_tab_pos : Tags.position -> unit
 196   end
 197 val notebook :
 198   ?tab_pos:Tags.position ->
 199   ?tab_border:int ->
 200   ?show_tabs:bool ->
 201   ?homogeneous_tabs:bool ->
 202   ?show_border:bool ->
 203   ?scrollable:bool ->
 204   ?popup:bool ->
 205   ?border_width:int ->
 206   ?width:int ->
 207   ?height:int ->
 208   ?packing:(widget -> unit) -> ?show:bool -> unit -> notebook
 209
 210 class packer :
 211   Gtk.packer obj ->
 212   object
 213     inherit container_full
 214     val obj : Gtk.packer obj
 215     method pack :
 216       ?side:Tags.side_type ->
 217       ?anchor:Tags.anchor_type ->
 218       ?expand:bool ->
 219       ?fill:Tags.expand_type ->
 220       ?border_width:int ->
 221       ?pad_x:int ->
 222       ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> widget -> unit
 223     method reorder_child : widget -> pos:int -> unit
 224     method set_child_packing :
 225       ?side:Tags.side_type ->
 226       ?anchor:Tags.anchor_type ->
 227       ?expand:bool ->
 228       ?fill:Tags.expand_type ->
 229       ?border_width:int ->
 230       ?pad_x:int ->
 231       ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> widget -> unit
 232     method set_defaults :
 233       ?border_width:int ->
 234       ?pad_x:int ->
 235       ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> unit -> unit
 236     method set_spacing : int -> unit
 237   end
 238 val packer :
 239   ?spacing:int ->
 240   ?border_width:int ->
 241   ?width:int ->
 242   ?height:int ->
 243   ?packing:(widget -> unit) -> ?show:bool -> unit -> packer
 244
 245 class paned :
 246   Gtk.paned obj ->
 247   object
 248     inherit container_full
 249     val obj : Gtk.paned obj
 250     method add1 : widget -> unit
 251     method add2 : widget -> unit
 252     method event : event_ops
 253     method child1 : widget
 254     method child2 : widget
 255     method gutter_size : int
 256     method handle_size : int
 257     method set_gutter_size : int -> unit
 258     method set_handle_size : int -> unit
 259   end
 260 val paned :
 261   Tags.orientation ->
 262   ?handle_size:int ->
 263   ?gutter_size:int ->
 264   ?border_width:int ->
 265   ?width:int ->
 266   ?height:int ->
 267   ?packing:(widget -> unit) -> ?show:bool -> unit -> paned