From bd712e4775998011681d02f0067ee4ed674b7101 Mon Sep 17 00:00:00 2001
From: thefiddler <stapostol@gmail.com>
Date: Mon, 12 May 2014 01:49:38 +0200
Subject: [PATCH] [X11] Flush XSendEvent on exit

---
 Source/OpenTK/Platform/X11/XI2Mouse.cs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Source/OpenTK/Platform/X11/XI2Mouse.cs b/Source/OpenTK/Platform/X11/XI2Mouse.cs
index 253e10be..90422273 100644
--- 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;