From 8b94854da995a34790d194dcc01b654409e77593 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sun, 27 Oct 2019 12:34:02 +0100 Subject: Add runWhileEventsPending to be able to show something before starting a long task on the main thread --- src/Gtk/Internal.icl | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/Gtk/Internal.icl') diff --git a/src/Gtk/Internal.icl b/src/Gtk/Internal.icl index 55d5744..e3982dd 100644 --- a/src/Gtk/Internal.icl +++ b/src/Gtk/Internal.icl @@ -111,6 +111,11 @@ gtk_dialog_set_modal dialog setting env = code { ccall gtk_dialog_set_modal "pI:V:A" } +gtk_events_pending :: !.a -> (!Bool, !.a) +gtk_events_pending _ = code { + ccall gtk_events_pending ":I:A" +} + gtk_file_chooser_add_filter :: !Pointer !Pointer !.a -> .a gtk_file_chooser_add_filter chooser filter env = code { ccall gtk_file_chooser_add_filter "pp:V:A" -- cgit v1.2.3