diff options
author | Camil Staps | 2019-10-25 21:00:23 +0200 |
---|---|---|
committer | Camil Staps | 2019-10-25 21:00:23 +0200 |
commit | c88e141f9d94b68896856dd9f0abc3fcc1c63ee5 (patch) | |
tree | e57e33312d60a328b5590af6020008a3cc93571d /src/Gtk/Internal.icl | |
parent | Catch traverse event to (-1,0) which seems to be a bug in GtkSheet (diff) |
Add addTimeout for running a task on a certain interval
Diffstat (limited to 'src/Gtk/Internal.icl')
-rw-r--r-- | src/Gtk/Internal.icl | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/Gtk/Internal.icl b/src/Gtk/Internal.icl index 52c648d..55d5744 100644 --- a/src/Gtk/Internal.icl +++ b/src/Gtk/Internal.icl @@ -26,6 +26,16 @@ where ccall clean_g_signal_connect "IpsI:V:A" } +g_timeout_add :: !Int !Int !.a -> .a +g_timeout_add interval id env = code { + ccall clean_g_timeout_add "II:V:A" +} + +g_timeout_add_seconds :: !Int !Int !.a -> .a +g_timeout_add_seconds interval id env = code { + ccall clean_g_timeout_add_seconds "II:V:A" +} + gtk_box_new :: !Bool !Int !.a -> (!Pointer, !.a) gtk_box_new vertical spacing env = code { ccall gtk_box_new "II:p:A" |