[> Gtk.widget ] Gtk.obj ->
object ('a)
method after : 'a
method after_any :
callback:(Gdk.Tags.event_type Gdk.event -> unit) -> GtkSignal.id
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 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
end