diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-04-12 17:02:00 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-04-12 17:02:00 +0200 |
| commit | 67682b35b0e3057b2d630592815cd84596e741e3 (patch) | |
| tree | 6b3faeaa09349994201aacc4d2f2fa9bd90ad8c2 /platform/x11 | |
| parent | 08aaff21f30c2eafb37e6220a314f2a5774521bd (diff) | |
| parent | 5907a007dc2e9dd7c89649cfed42dbc0239e4b42 (diff) | |
Merge pull request #4295 from neikeq/pr-issue-2232
x11: Flush the X output buffer after changing mouse mode
Diffstat (limited to 'platform/x11')
| -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) { |