A.2. Widget

A.2.1. Misc signals

The misc signals are used like this:

[widget]#misc#connect#[signal name] ~callback:... ;

The misc signals are one of followings: see GObj.misc_signals

inherits
	GObj.gtkobj_signals
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 unrealize : callback:(unit -> unit) -> GtkSignal.id
method selection_get :
	callback:(selection_context -> info:int -> time:int32 -> unit) ->
	GtkSignal.id
method selection_received :
	callback:(selection_data -> time:int32 -> unit) -> GtkSignal.id
method show : callback:(unit -> unit) -> GtkSignal.id
method size_allocate : callback:(Gtk.rectangle -> 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

A.2.2. Drag signals

The drag signals are used as one of the folloing form:

[widget]#drag#connect#[signal name] ~callback:... ;
[widget]#drag#connect#after#[signal name] ~callback:... ;

The drag signals are: see GObj.drag_signals

method beginning : callback:(drag_context -> unit) -> GtkSignal.id
method data_delete : callback:(drag_context -> unit) -> GtkSignal.id
method data_get :
	callback:(drag_context -> selection_context -> info:int -> time:int32 -> unit) ->
	GtkSignal.id
method data_received :
	callback:(drag_context -> x:int -> y:int -> selection_data -> info:int -> time:int32 -> unit) ->
	GtkSignal.id
method drop :
	callback:(drag_context -> x:int -> y:int -> time:int32 -> bool) ->
	GtkSignal.id
method ending : callback:(drag_context -> unit) -> GtkSignal.id
method leave : callback:(drag_context -> time:int32 -> unit) -> GtkSignal.id
method motion :
	callback:(drag_context -> x:int -> y:int -> time:int32 -> bool) ->
	GtkSignal.id