package ocgtk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class Event_controller.event_controller

method get_current_event : unit -> Ocgtk_gdk.Gdk.Event.event_t option
method get_current_event_device : unit -> Ocgtk_gdk.Gdk.Device.device_t option
method get_current_event_state : unit -> Ocgtk_gdk.Gdk.modifiertype
method get_current_event_time : unit -> UInt32.t
method get_name : unit -> string option
method get_propagation_limit : unit -> Ocgtk_gtk__.Gtk_enums.propagationlimit
method get_propagation_phase : unit -> Ocgtk_gtk__.Gtk_enums.propagationphase
method get_widget : unit -> Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
method reset : unit -> unit
method set_name : string option -> unit
method set_propagation_limit : Ocgtk_gtk__.Gtk_enums.propagationlimit -> unit
method set_propagation_phase : Ocgtk_gtk__.Gtk_enums.propagationphase -> unit
method set_static_name : string option -> unit
method as_event_controller : Ocgtk_gtk__.Event_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.Event_controller.t