class event_signals : bool option
-> [> Gtk.widget ] Gtk.obj
-> object
.. end
method after : < after : 'a;
after_any : callback:(Gdk.Tags.event_type Gdk.event -> unit) ->
GtkSignal.id;
any : callback:(Gdk.Tags.event_type Gdk.event -> bool) -> GtkSignal.id;
button_press : callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id;
button_release : callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id;
configure : callback:(GdkEvent.Configure.t -> bool) -> GtkSignal.id;
delete : callback:([ `DELETE ] Gdk.event -> bool) -> GtkSignal.id;
destroy : callback:([ `DESTROY ] Gdk.event -> bool) -> GtkSignal.id;
enter_notify : callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id;
expose : callback:(GdkEvent.Expose.t -> bool) -> GtkSignal.id;
focus_in : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id;
focus_out : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id;
key_press : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id;
key_release : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id;
leave_notify : callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id;
map : callback:([ `MAP ] Gdk.event -> bool) -> GtkSignal.id;
motion_notify : callback:(GdkEvent.Motion.t -> bool) -> GtkSignal.id;
property_notify : callback:(GdkEvent.Property.t -> bool) -> GtkSignal.id;
proximity_in : callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id;
proximity_out : callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id;
selection_clear : callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id;
selection_notify : callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id;
selection_request : callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id;
unmap : callback:([ `UNMAP ] Gdk.event -> bool) -> GtkSignal.id; .. >
as 'a
method any : callback:(Gdk.Tags.event_type Gdk.event -> bool) -> GtkSignal.id
method after_any : callback:(Gdk.Tags.event_type Gdk.event -> unit) -> 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