Remove Editor::handle_win32_events

This apparently isn't needed anymore.
This commit is contained in:
Robbert van der Helm
2020-12-21 18:24:07 +01:00
parent 0f43e21fc0
commit 7e34cf69fe
4 changed files with 6 additions and 36 deletions
-7
View File
@@ -125,13 +125,6 @@ class Editor {
*/
bool supports_ewmh_active_window() const;
/**
* 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_win32_events() const;
/**
* Handle X11 events sent to the window our editor is embedded in.
*/