Split X11 and Win32 event handling

X11 events should always be handled since it's thread safe and they
don't block.
This commit is contained in:
Robbert van der Helm
2020-05-26 11:11:34 +02:00
parent 064bb2684f
commit 9a35023990
4 changed files with 22 additions and 12 deletions
+9 -4
View File
@@ -101,11 +101,16 @@ class Editor {
void send_idle_event();
/**
* Pump messages from the editor GUI's event loop until all events are
* process. Must be run from the same thread the GUI was created in because
* of Win32 limitations.
* Pump messages from the editor loop loop until all events are process.
* Must be run from the same thread the GUI was created in because of Win32
* limitations.
*/
void handle_events();
void handle_win32_events();
/**
* Handle X11 events sent to the window our editor is embedded in.
*/
void handle_x11_events();
private:
/**