--- /dev/null
+(* $Id$ *)
+
+open Gtk
+
+(* Object *)
+
+class gtkobj :
+ 'a obj ->
+ object
+ val obj : 'a obj
+ method destroy : unit -> unit
+ method get_id : int
+ end
+
+class gtkobj_signals :
+ ?after:bool -> 'a obj ->
+ object ('b)
+ val obj : 'a obj
+ val after : bool
+ method after : 'b
+ method destroy : callback:(unit -> unit) -> GtkSignal.id
+ end
+
+class gtkobj_misc : 'a obj ->
+ object
+ method get_type : string
+ method disconnect : GtkSignal.id -> unit
+ method handler_block : GtkSignal.id -> unit
+ method handler_unblock : GtkSignal.id -> unit
+ end
+
+(* Widget *)
+
+class event_signals :
+ ?after:bool -> [>`widget] obj ->
+ object ('a)
+ method after : 'a
+ method any :
+ callback:(Gdk.Tags.event_type Gdk.event -> bool) -> GtkSignal.id
+ method button_press : callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id
+ method button_release :
+ callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id
+ method configure : callback:(GdkEvent.Configure.t -> bool) -> GtkSignal.id
+ method delete : callback:([`DELETE] Gdk.event -> bool) -> GtkSignal.id
+ method destroy : callback:([`DESTROY] Gdk.event -> bool) -> GtkSignal.id
+ method enter_notify :
+ callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id
+ method expose : callback:(GdkEvent.Expose.t -> bool) -> GtkSignal.id
+ method focus_in : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id
+ method focus_out : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id
+ method key_press : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id
+ method key_release : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id
+ method leave_notify :
+ callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id
+ method map : callback:([`MAP] Gdk.event -> bool) -> GtkSignal.id
+ method motion_notify :
+ callback:(GdkEvent.Motion.t -> bool) -> GtkSignal.id
+ method property_notify :
+ callback:(GdkEvent.Property.t -> bool) -> GtkSignal.id
+ method proximity_in :
+ callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id
+ method proximity_out :
+ callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id
+ method selection_clear :
+ callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
+ method selection_notify :
+ callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
+ method selection_request :
+ callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
+ method unmap : callback:([`UNMAP] Gdk.event -> bool) -> GtkSignal.id
+ end
+
+class event_ops : [>`widget] obj ->
+ object
+ method add : Gdk.Tags.event_mask list -> unit
+ method connect : event_signals
+ method send : Gdk.Tags.event_type Gdk.event -> bool
+ method set_extensions : Gdk.Tags.extension_events -> unit
+ end
+
+class style : Gtk.style ->
+ object ('a)
+ val style : Gtk.style
+ method as_style : Gtk.style
+ method bg : Tags.state_type -> Gdk.Color.t
+ method colormap : Gdk.colormap
+ method copy : 'a
+ method font : Gdk.font
+ method set_background : Gdk.window -> Tags.state_type -> unit
+ method set_bg : (Tags.state_type * GDraw.color) list -> unit
+ method set_font : Gdk.font -> unit
+ end
+
+class selection_data :
+ GtkData.Selection.t ->
+ object
+ val sel : GtkData.Selection.t
+ method data : string (* May raise Null_pointer *)
+ method format : int
+ method selection : Gdk.atom
+ method seltype : Gdk.atom
+ method target : Gdk.atom
+ method set : typ:Gdk.atom -> format:int -> ?data:string -> unit
+ end
+
+class drag_ops : [>`widget] obj ->
+ object
+ method connect : drag_signals
+ method dest_set :
+ ?flags:Tags.dest_defaults list ->
+ ?actions:Gdk.Tags.drag_action list -> target_entry list -> unit
+ method dest_unset : unit -> unit
+ method get_data : ?time:int -> context:drag_context -> Gdk.atom ->unit
+ method highlight : unit -> unit
+ method source_set :
+ ?modi:Gdk.Tags.modifier list ->
+ ?actions:Gdk.Tags.drag_action list -> target_entry list -> unit
+ method source_set_icon : ?colormap:Gdk.colormap -> GDraw.pixmap -> unit
+ method source_unset : unit -> unit
+ method unhighlight : unit -> unit
+ end
+
+and misc_ops :
+ [>`widget] obj ->
+ object
+ inherit gtkobj_misc
+ val obj : Gtk.widget obj
+ method activate : unit -> bool
+ method add_accelerator :
+ sgn:(Gtk.widget, unit -> unit) GtkSignal.t ->
+ group:accel_group -> ?modi:Gdk.Tags.modifier list ->
+ ?flags:Tags.accel_flag list -> Gdk.keysym -> unit
+ method allocation : rectangle
+ method colormap : Gdk.colormap
+ method connect : misc_signals
+ method draw : Gdk.Rectangle.t option -> unit
+ method grab_default : unit -> unit
+ method grab_focus : unit -> unit
+ method has_focus : bool
+ method hide : unit -> unit
+ method hide_all : unit -> unit
+ method intersect : Gdk.Rectangle.t -> Gdk.Rectangle.t option
+ method is_ancestor : widget -> bool
+ method lock_accelerators : unit -> unit
+ method map : unit -> unit
+ method name : string
+ method parent : widget option
+ method pointer : int * int
+ method popup : x:int -> y:int -> unit
+ method realize : unit -> unit
+ method remove_accelerator :
+ group:accel_group -> ?modi:Gdk.Tags.modifier list -> Gdk.keysym -> unit
+ method reparent : widget -> unit
+ method set_app_paintable : bool -> unit
+ method set_can_default : bool -> unit
+ method set_can_focus : bool -> unit
+ method set_name : string -> unit
+ method set_sensitive : bool -> unit
+ method set_state : Tags.state_type -> unit
+ method set_style : style -> unit
+ method set_geometry :
+ ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> unit
+ method show : unit -> unit
+ method show_all : unit -> unit
+ method style : style
+ method toplevel : widget option
+ method unmap : unit -> unit
+ method unparent : unit -> unit
+ method unrealize : unit -> unit
+ method visible : bool
+ method visual : Gdk.visual
+ method visual_depth : int
+ method window : Gdk.window
+ end
+
+and widget :
+ 'a obj ->
+ object
+ inherit gtkobj
+ constraint 'a = [>`widget]
+ val obj : 'a obj
+ method as_widget : Gtk.widget obj
+ method coerce : widget
+ method drag : drag_ops
+ method misc : misc_ops
+ end
+
+and misc_signals :
+ ?after:bool -> Gtk.widget obj ->
+ object ('b)
+ inherit gtkobj_signals
+ val obj : Gtk.widget obj
+ method after : 'b
+ method draw : callback:(Gtk.rectangle -> unit) -> GtkSignal.id
+ method hide : callback:(unit -> unit) -> GtkSignal.id
+ method map : callback:(unit -> unit) -> GtkSignal.id
+ method parent_set : callback:(widget option -> unit) -> GtkSignal.id
+ method realize : callback:(unit -> unit) -> GtkSignal.id
+ method show : callback:(unit -> unit) -> GtkSignal.id
+ method state_changed :
+ callback:(Gtk.Tags.state_type -> unit) -> GtkSignal.id
+ method style_set : callback:(unit -> unit) -> GtkSignal.id
+ method unmap : callback:(unit -> unit) -> GtkSignal.id
+ end
+
+and drag_context :
+ Gdk.drag_context ->
+ object
+ val context : Gdk.drag_context
+ method context : Gdk.drag_context
+ method finish : success:bool -> del:bool -> time:int -> unit
+ method source_widget : widget
+ method set_icon_pixmap :
+ ?colormap:Gdk.colormap -> GDraw.pixmap -> hot_x:int -> hot_y:int -> unit
+ method set_icon_widget : widget -> hot_x:int -> hot_y:int -> unit
+ method status : ?time:int -> Gdk.Tags.drag_action list -> unit
+ method suggested_action : Gdk.Tags.drag_action
+ method targets : Gdk.atom list
+ end
+
+and drag_signals :
+ ?after:bool -> Gtk.widget obj ->
+ object ('a)
+ method after : 'a
+ method beginning :
+ callback:(drag_context -> unit) -> GtkSignal.id
+ method data_delete :
+ callback:(drag_context -> unit) -> GtkSignal.id
+ method data_get :
+ callback:(drag_context -> selection_data -> info:int -> time:int -> unit)
+ -> GtkSignal.id
+ method data_received :
+ callback:(drag_context -> x:int -> y:int ->
+ selection_data -> info:int -> time:int -> unit) -> GtkSignal.id
+ method drop :
+ callback:(drag_context -> x:int -> y:int -> time:int -> bool) ->
+ GtkSignal.id
+ method ending :
+ callback:(drag_context -> unit) -> GtkSignal.id
+ method leave :
+ callback:(drag_context -> time:int -> unit) -> GtkSignal.id
+ method motion :
+ callback:(drag_context -> x:int -> y:int -> time:int -> bool) ->
+ GtkSignal.id
+ end
+
+class widget_signals : ?after:bool -> 'a obj ->
+ object
+ inherit gtkobj_signals
+ constraint 'a = [>`widget]
+ val obj : 'a obj
+ end
+
+class widget_full : 'a obj ->
+ object
+ inherit widget
+ constraint 'a = [>`widget]
+ val obj : 'a obj
+ method connect : widget_signals
+ end
+
+val as_widget : widget -> Gtk.widget obj
+
+val pack_return :
+ (#widget as 'a) ->
+ packing:(widget -> unit) option -> show:bool option -> 'a
+ (* To use in initializers to provide a ?packing: option *)
projects / helm.git / blobdiff