diff options
| author | Hein-Pieter van Braam <hp@tmm.cx> | 2018-09-09 22:13:50 +0200 |
|---|---|---|
| committer | Hein-Pieter van Braam <hp@tmm.cx> | 2018-09-09 22:17:27 +0200 |
| commit | 4b92ca1ccef83b40b9cde626b365b66aa23e2816 (patch) | |
| tree | 05e0b1e8311d92f72b0ebb828d9f806c1d77efc8 /platform/x11/os_x11.h | |
| parent | 1093c0ff51b980634dffdd9618eaa53061da6419 (diff) | |
Update X11 global mouse position at startup
When we start the engine we haven't yet gotten any X11 motion events so
we don't yet know where our mouse cursor is located. Instead we now
query the X server for this information when we start and update the
appropriate values.
In addition when we move the window we also update the mouse position
based off of X server knowledge as we will also not have received any
mouse motion events.
this fixes #8145 (for X11 only)
Diffstat (limited to 'platform/x11/os_x11.h')
| -rw-r--r-- | platform/x11/os_x11.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/x11/os_x11.h b/platform/x11/os_x11.h index 44455a2d8d..3b6f9c54b0 100644 --- a/platform/x11/os_x11.h +++ b/platform/x11/os_x11.h @@ -313,6 +313,7 @@ public: virtual LatinKeyboardVariant get_latin_keyboard_variant() const; + void update_real_mouse_position(); OS_X11(); }; |