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

   1 (* $Id$ *)
   2
   3 open Gtk
   4
   5 (* Object *)
   6
   7 class gtkobj :
   8   'a obj ->
   9   object
  10     val obj : 'a obj
  11     method destroy : unit -> unit
  12     method get_id : int
  13   end
  14
  15 class gtkobj_signals :
  16   ?after:bool -> 'a obj ->
  17   object ('b)
  18     val obj : 'a obj
  19     val after : bool
  20     method after : 'b
  21     method destroy : callback:(unit -> unit) -> GtkSignal.id
  22   end
  23
  24 class gtkobj_misc : 'a obj ->
  25   object
  26     method get_type : string
  27     method disconnect : GtkSignal.id -> unit
  28     method handler_block : GtkSignal.id -> unit
  29     method handler_unblock : GtkSignal.id -> unit
  30   end
  31
  32 (* Widget *)
  33
  34 class event_signals :
  35   ?after:bool -> [>`widget] obj ->
  36   object ('a)
  37     method after : 'a
  38     method any :
  39         callback:(Gdk.Tags.event_type Gdk.event -> bool) -> GtkSignal.id
  40     method button_press : callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id
  41     method button_release :
  42         callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id
  43     method configure : callback:(GdkEvent.Configure.t -> bool) -> GtkSignal.id
  44     method delete : callback:([`DELETE] Gdk.event -> bool) -> GtkSignal.id
  45     method destroy : callback:([`DESTROY] Gdk.event -> bool) -> GtkSignal.id
  46     method enter_notify :
  47         callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id
  48     method expose : callback:(GdkEvent.Expose.t -> bool) -> GtkSignal.id
  49     method focus_in : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id
  50     method focus_out : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id
  51     method key_press : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id
  52     method key_release : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id
  53     method leave_notify :
  54         callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id
  55     method map : callback:([`MAP] Gdk.event -> bool) -> GtkSignal.id
  56     method motion_notify :
  57         callback:(GdkEvent.Motion.t -> bool) -> GtkSignal.id
  58     method property_notify :
  59         callback:(GdkEvent.Property.t -> bool) -> GtkSignal.id
  60     method proximity_in :
  61         callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id
  62     method proximity_out :
  63         callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id
  64     method selection_clear :
  65         callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
  66     method selection_notify :
  67         callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
  68     method selection_request :
  69         callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
  70     method unmap : callback:([`UNMAP] Gdk.event -> bool) -> GtkSignal.id
  71   end
  72
  73 class event_ops : [>`widget] obj ->
  74   object
  75     method add : Gdk.Tags.event_mask list -> unit
  76     method connect : event_signals
  77     method send : Gdk.Tags.event_type Gdk.event -> bool
  78     method set_extensions : Gdk.Tags.extension_events -> unit
  79   end
  80
  81 class style : Gtk.style ->
  82   object ('a)
  83     val style : Gtk.style
  84     method as_style : Gtk.style
  85     method bg : Tags.state_type -> Gdk.Color.t
  86     method colormap : Gdk.colormap
  87     method copy : 'a
  88     method font : Gdk.font
  89     method set_background : Gdk.window -> Tags.state_type -> unit
  90     method set_bg : (Tags.state_type * GDraw.color) list -> unit
  91     method set_font : Gdk.font -> unit
  92   end
  93
  94 class selection_data :
  95   GtkData.Selection.t ->
  96   object
  97     val sel : GtkData.Selection.t
  98     method data : string        (* May raise Null_pointer *)
  99     method format : int
 100     method selection : Gdk.atom
 101     method seltype : Gdk.atom
 102     method target : Gdk.atom
 103     method set : typ:Gdk.atom -> format:int -> ?data:string -> unit
 104   end
 105
 106 class drag_ops : [>`widget] obj ->
 107   object
 108     method connect : drag_signals
 109     method dest_set :
 110       ?flags:Tags.dest_defaults list ->
 111       ?actions:Gdk.Tags.drag_action list -> target_entry list -> unit
 112     method dest_unset : unit -> unit
 113     method get_data : ?time:int -> context:drag_context -> Gdk.atom ->unit
 114     method highlight : unit -> unit
 115     method source_set :
 116       ?modi:Gdk.Tags.modifier list ->
 117       ?actions:Gdk.Tags.drag_action list -> target_entry list -> unit
 118     method source_set_icon : ?colormap:Gdk.colormap -> GDraw.pixmap -> unit
 119     method source_unset : unit -> unit
 120     method unhighlight : unit -> unit
 121   end
 122
 123 and misc_ops :
 124   [>`widget] obj ->
 125   object
 126     inherit gtkobj_misc
 127     val obj : Gtk.widget obj
 128     method activate : unit -> bool
 129     method add_accelerator :
 130       sgn:(Gtk.widget, unit -> unit) GtkSignal.t ->
 131       group:accel_group -> ?modi:Gdk.Tags.modifier list ->
 132       ?flags:Tags.accel_flag list -> Gdk.keysym -> unit
 133     method allocation : rectangle
 134     method colormap : Gdk.colormap
 135     method connect : misc_signals
 136     method draw : Gdk.Rectangle.t option -> unit
 137     method grab_default : unit -> unit
 138     method grab_focus : unit -> unit
 139     method has_focus : bool
 140     method hide : unit -> unit
 141     method hide_all : unit -> unit
 142     method intersect : Gdk.Rectangle.t -> Gdk.Rectangle.t option
 143     method is_ancestor : widget -> bool
 144     method lock_accelerators : unit -> unit
 145     method map : unit -> unit
 146     method name : string
 147     method parent : widget option
 148     method pointer : int * int
 149     method popup : x:int -> y:int -> unit
 150     method realize : unit -> unit
 151     method remove_accelerator :
 152       group:accel_group -> ?modi:Gdk.Tags.modifier list -> Gdk.keysym -> unit
 153     method reparent : widget -> unit
 154     method set_app_paintable : bool -> unit
 155     method set_can_default : bool -> unit
 156     method set_can_focus : bool -> unit
 157     method set_name : string -> unit
 158     method set_sensitive : bool -> unit
 159     method set_state : Tags.state_type -> unit
 160     method set_style : style -> unit
 161     method set_geometry :
 162       ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> unit
 163     method show : unit -> unit
 164     method show_all : unit -> unit
 165     method style : style
 166     method toplevel : widget option
 167     method unmap : unit -> unit
 168     method unparent : unit -> unit
 169     method unrealize : unit -> unit
 170     method visible : bool
 171     method visual : Gdk.visual
 172     method visual_depth : int
 173     method window : Gdk.window
 174   end
 175
 176 and widget :
 177   'a obj ->
 178   object
 179     inherit gtkobj
 180     constraint 'a = [>`widget]
 181     val obj : 'a obj
 182     method as_widget : Gtk.widget obj
 183     method coerce : widget
 184     method drag : drag_ops
 185     method misc : misc_ops
 186   end
 187
 188 and misc_signals :
 189   ?after:bool -> Gtk.widget obj ->
 190   object ('b)
 191     inherit gtkobj_signals
 192     val obj : Gtk.widget obj
 193     method after : 'b
 194     method draw : callback:(Gtk.rectangle -> unit) -> GtkSignal.id
 195     method hide : callback:(unit -> unit) -> GtkSignal.id
 196     method map : callback:(unit -> unit) -> GtkSignal.id
 197     method parent_set : callback:(widget option -> unit) -> GtkSignal.id
 198     method realize : callback:(unit -> unit) -> GtkSignal.id
 199     method show : callback:(unit -> unit) -> GtkSignal.id
 200     method state_changed :
 201       callback:(Gtk.Tags.state_type -> unit) -> GtkSignal.id
 202     method style_set : callback:(unit -> unit) -> GtkSignal.id
 203     method unmap : callback:(unit -> unit) -> GtkSignal.id
 204   end
 205
 206 and drag_context :
 207   Gdk.drag_context ->
 208   object
 209     val context : Gdk.drag_context
 210     method context : Gdk.drag_context
 211     method finish : success:bool -> del:bool -> time:int -> unit
 212     method source_widget : widget
 213     method set_icon_pixmap :
 214       ?colormap:Gdk.colormap -> GDraw.pixmap -> hot_x:int -> hot_y:int -> unit
 215     method set_icon_widget : widget -> hot_x:int -> hot_y:int -> unit
 216     method status : ?time:int -> Gdk.Tags.drag_action list -> unit
 217     method suggested_action : Gdk.Tags.drag_action
 218     method targets : Gdk.atom list
 219   end
 220
 221 and drag_signals :
 222   ?after:bool -> Gtk.widget obj ->
 223   object ('a)
 224     method after : 'a
 225     method beginning :
 226       callback:(drag_context -> unit) -> GtkSignal.id
 227     method data_delete :
 228       callback:(drag_context -> unit) -> GtkSignal.id
 229     method data_get :
 230       callback:(drag_context -> selection_data -> info:int -> time:int -> unit)
 231       -> GtkSignal.id
 232     method data_received :
 233       callback:(drag_context -> x:int -> y:int ->
 234                 selection_data -> info:int -> time:int -> unit) -> GtkSignal.id
 235     method drop :
 236       callback:(drag_context -> x:int -> y:int -> time:int -> bool) ->
 237       GtkSignal.id
 238     method ending :
 239       callback:(drag_context -> unit) -> GtkSignal.id
 240     method leave :
 241       callback:(drag_context -> time:int -> unit) -> GtkSignal.id
 242     method motion :
 243       callback:(drag_context -> x:int -> y:int -> time:int -> bool) ->
 244       GtkSignal.id
 245   end
 246
 247 class widget_signals : ?after:bool -> 'a obj ->
 248   object
 249     inherit gtkobj_signals
 250     constraint 'a = [>`widget]
 251     val obj : 'a obj
 252   end
 253
 254 class widget_full : 'a obj ->
 255   object
 256     inherit widget
 257     constraint 'a = [>`widget]
 258     val obj : 'a obj
 259     method connect : widget_signals
 260   end
 261
 262 val as_widget : widget -> Gtk.widget obj
 263
 264 val pack_return :
 265     (#widget as 'a) ->
 266     packing:(widget -> unit) option -> show:bool option -> 'a
 267     (* To use in initializers to provide a ?packing: option *)