diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2018-11-09 20:30:08 +0100 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2018-11-09 23:55:19 +0100 |
commit | b5c56f6cca6c269d91c7fb64fa74ea414ba6e548 (patch) | |
tree | ccf5c0511d502c90bb590045a8d48e3617479d71 /platform/windows/os_windows.h | |
parent | a16d9c6ab68cadb3cff07ef8b7b8c00717e98922 (diff) |
Fix mouse mode restoration on Windows
Fixes #23494.
Diffstat (limited to 'platform/windows/os_windows.h')
-rw-r--r-- | platform/windows/os_windows.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/platform/windows/os_windows.h b/platform/windows/os_windows.h index 01e1c51ca5..6aadd6994c 100644 --- a/platform/windows/os_windows.h +++ b/platform/windows/os_windows.h @@ -157,6 +157,8 @@ class OS_Windows : public OS { void _update_window_style(bool repaint = true); + void _set_mouse_mode_impl(MouseMode p_mode); + // functions used by main to initialize/deinitialize the OS protected: virtual int get_current_video_driver() const; |