diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-10-02 19:24:58 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-10-02 19:24:58 +0200 |
commit | 3db384424bd7398ffbb7a355cab8f15f3add009f (patch) | |
tree | 4536961c62454aca3ac87ee88229e4d20c0d44fa /numlib/ui.h | |
parent | d479dd1aab1c1cb907932c6595b0ef33523fc797 (diff) |
New upstream version 1.9.1+repackupstream/1.9.1+repack
Diffstat (limited to 'numlib/ui.h')
-rw-r--r-- | numlib/ui.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/numlib/ui.h b/numlib/ui.h index e1d7a58..a282c26 100644 --- a/numlib/ui.h +++ b/numlib/ui.h @@ -21,12 +21,25 @@ extern int ui_initialized; static int *pui_initialized = &ui_initialized; +/* Call this if we decide we are actually going to display */ +/* something in the GUI */ +void ui_UsingGUI(); + #ifdef UNIX # ifdef __APPLE__ extern pthread_t ui_thid; /* Thread ID of main thread running io run loop */ extern pthread_t ui_main_thid; /* Thread ID of thread running application main() */ +/* Run a function in the main thread and return when it is complete */ +void ui_runInMainThreadAndWait(void *cntx, void (*function)(void *context)); + +/* We are about to change the UI */ +void ui_aboutToWait(); + +/* Wait until we are sure our UI change is complete */ +void ui_waitForEvents(); + #ifndef __UI_C__ # define main uimain #endif |