diff options
| author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2016-04-12 16:20:28 +0200 |
|---|---|---|
| committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2016-04-12 16:20:28 +0200 |
| commit | 5907a007dc2e9dd7c89649cfed42dbc0239e4b42 (patch) | |
| tree | 11308f3464de43089a5ef9001756a1a54b3f1407 | |
| parent | d454e64f429affb89de036eed6daa5c6e5278492 (diff) | |
x11: Flush the X output buffer after changing mouse mode
| -rw-r--r-- | platform/x11/os_x11.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/platform/x11/os_x11.cpp b/platform/x11/os_x11.cpp index f60610693f..4d7532d637 100644 --- a/platform/x11/os_x11.cpp +++ b/platform/x11/os_x11.cpp @@ -541,6 +541,8 @@ void OS_X11::set_mouse_mode(MouseMode p_mode) { } else { do_mouse_warp=false; } + + XFlush(x11_display); } void OS_X11::warp_mouse_pos(const Point2& p_to) { |