+++ /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