diff options
| author | wm4 <wm4@nowhere> | 2018-10-11 06:38:57 +0200 |
|---|---|---|
| committer | Anton Kindestam <antonki@kth.se> | 2018-12-06 10:33:42 +0100 |
| commit | 8e3308d687c3acdd0d572015b06efd5b492d93ee (patch) | |
| tree | 41e042c332eb4fce0939da8f99dde76a9cef70be /video/out/x11_common.h | |
| parent | 19a38c4b1f8273d430f8a4d6a636754aedb8c531 (diff) | |
| download | mpv-8e3308d687c3acdd0d572015b06efd5b492d93ee.tar.bz2 mpv-8e3308d687c3acdd0d572015b06efd5b492d93ee.tar.xz | |
x11: don't hide cursor if window isn't focused
I found this sort of annoying.
You could argue that the "frontend" should maybe contain this logic, but
who cares.
Diffstat (limited to 'video/out/x11_common.h')
| -rw-r--r-- | video/out/x11_common.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/video/out/x11_common.h b/video/out/x11_common.h index 1c0096329c..608534052c 100644 --- a/video/out/x11_common.h +++ b/video/out/x11_common.h @@ -88,7 +88,9 @@ struct vo_x11_state { bool pseudo_mapped; // not necessarily mapped, but known window size int fs; // whether we assume the window is in fullscreen mode - bool mouse_cursor_hidden; + bool mouse_cursor_visible; + bool mouse_cursor_set; + bool has_focus; long orig_layer; // Current actual window position (updated on window move/resize events). |