Rechercher une page de manuel

GMain.Event.3o

Langue: en

Version: 287838 (debian - 07/07/09)

Section: 3 (Bibliothèques de fonctions)

GMain.Event - no description

Module GMain.Event

Module Event
: sig end

val get_current_time : unit -> int32

May return GDK_CURRENT_TIME

val get_current : unit -> GdkEvent.any

May raise Gpointer.Null

val get_widget : 'a Gdk.event -> Gtk.widget Gtk.obj

May raise Gpointer.Null

val propagate : [> `widget ] Gtk.obj -> 'a Gdk.event -> unit