<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GtkMain.Event</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">external</span> get_current_time : unit <span class="keywordsign">-></span> int32 = <span class="string">"ml_gtk_get_current_event_time"</span><br> <span class="keyword">external</span> get_current : unit <span class="keywordsign">-></span> <span class="constructor">GdkEvent</span>.any = <span class="string">"ml_gtk_get_current_event"</span><br> <span class="keyword">external</span> get_widget : <span class="keywordsign">'</span>a <span class="constructor">Gdk</span>.event <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.widget <span class="constructor">Gtk</span>.obj<br> = <span class="string">"ml_gtk_get_event_widget"</span><br> <span class="keyword">external</span> propagate : [> <span class="keywordsign">`</span>widget ] <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Gdk</span>.event <span class="keywordsign">-></span> unit<br> = <span class="string">"ml_gtk_propagate_event"</span><br> <span class="keyword">end</span></code></body></html>