[X11] Flush XSendEvent on exit

2014-05-12 01:49:38 +02:00 · 2014-05-12 01:49:38 +02:00 · bd712e4775
commit bd712e4775
parent 1cf7386748
1 changed files with 1 additions and 0 deletions
--- a/Source/OpenTK/Platform/X11/XI2Mouse.cs
+++ b/Source/OpenTK/Platform/X11/XI2Mouse.cs
@ -494,6 +494,7 @@ namespace OpenTK.Platform.X11
                        XEvent e = new XEvent();
                        e.type = ExitEvent;
                        Functions.XSendEvent(API.DefaultDisplay, window.Handle, false, IntPtr.Zero, ref e);
+                        Functions.XFlush(API.DefaultDisplay);
                    }
                }
                disposed = true;