From c88e141f9d94b68896856dd9f0abc3fcc1c63ee5 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 25 Oct 2019 21:00:23 +0200 Subject: Add addTimeout for running a task on a certain interval --- src/Gtk/Internal.icl | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/Gtk/Internal.icl') 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" -- cgit v1.2.3