forks
/
arsd
mirror of https://github.com/adamdruppe/arsd.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

oops

This commit is contained in:
Adam D. Ruppe 2021-06-08 23:04:33 -04:00
parent 2ec2a64536
commit 680030d378
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
minigui.d
View File

@ -6172,8 +6172,11 @@ class Window : Widget {
win.close(); win.close();
// I synchronize here upon window closing to ensure all child windows // I synchronize here upon window closing to ensure all child windows
// get updated too before the event loop. This avoids some random X errors. // get updated too before the event loop. This avoids some random X errors.
static if(UsingSimpledisplayX11) static if(UsingSimpledisplayX11) {
XSync(XDisplayConnection.get, false); runInGuiThread( {
XSync(XDisplayConnection.get, false);
});
}
} }
bool dispatchKeyEvent(KeyEvent ev) { bool dispatchKeyEvent(KeyEvent ev) {