class event_signals : [> 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;
scroll : callback:(GdkEvent.Scroll.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;
visibility_notify : callback:(GdkEvent.Visibility.t -> bool) ->
GtkSignal.id;
window_state : callback:(GdkEvent.WindowState.t -> 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 scroll : callback:(GdkEvent.Scroll.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
method visibility_notify : callback:(GdkEvent.Visibility.t -> bool) -> GtkSignal.id
method window_state : callback:(GdkEvent.WindowState.t -> bool) -> GtkSignal.id