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/State.dcl | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/src/Gtk/State.dcl b/src/Gtk/State.dcl
index 43b5869..c4e17a2 100644
--- a/src/Gtk/State.dcl
+++ b/src/Gtk/State.dcl
@@ -41,3 +41,4 @@ appWorld :: !(*World -> *World) -> GtkM ()
 accWorld :: !(*World -> (r,*World)) -> GtkM r
 
 quit :: GtkM ()
+runWhileEventsPending :: GtkM ()
-- 
cgit v1.2.3