Permalink
Browse files

[X11] Flush XSendEvent on exit

  • Loading branch information...
1 parent 1cf7386 commit bd712e4775998011681d02f0067ee4ed674b7101 @thefiddler thefiddler committed May 11, 2014
Showing with 1 addition and 0 deletions.
  1. +1 −0 Source/OpenTK/Platform/X11/XI2Mouse.cs
@@ -494,6 +494,7 @@ void Dispose(bool disposing)
XEvent e = new XEvent();
e.type = ExitEvent;
Functions.XSendEvent(API.DefaultDisplay, window.Handle, false, IntPtr.Zero, ref e);
+ Functions.XFlush(API.DefaultDisplay);
}
}
disposed = true;

0 comments on commit bd712e4

Please sign in to comment.