package lablgtk3

  1. Overview
  2. Docs
package lablgtk3
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 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