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.dcl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Gtk/Internal.dcl')

diff --git a/src/Gtk/Internal.dcl b/src/Gtk/Internal.dcl
index fe5b749..450700a 100644
--- a/src/Gtk/Internal.dcl
+++ b/src/Gtk/Internal.dcl
@@ -32,6 +32,8 @@ gtk_dialog_run :: !Pointer !.a -> (!Int, !.a)
 gtk_dialog_set_default_response :: !Pointer !Int !.a -> .a
 gtk_dialog_set_modal :: !Pointer !Bool !.a -> .a
 
+gtk_events_pending :: !.a -> (!Bool, !.a)
+
 gtk_file_chooser_add_filter :: !Pointer !Pointer !.a -> .a
 gtk_file_chooser_dialog_new :: !(Maybe String) !Pointer !Int ![(String,Int)] !.a -> (!Pointer, !.a)
 gtk_file_chooser_get_filename :: !Pointer !.a -> (!Maybe String, !.a)
-- 
cgit v1.2.3