From fe64e7204c8ab7b91f36c305cce9f82e92792cb9 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Tue, 25 Jul 2017 20:39:03 +0300
Subject: Update mouse cursor each 10 seconds if was no mouse move events.

---
 src/gui/sdlinput.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/gui/sdlinput.h')

diff --git a/src/gui/sdlinput.h b/src/gui/sdlinput.h
index d2b7847df..5910911ef 100644
--- a/src/gui/sdlinput.h
+++ b/src/gui/sdlinput.h
@@ -380,6 +380,7 @@ class SDLInput final
 
         std::queue<KeyInput> mKeyInputQueue;
         std::queue<MouseInput> mMouseInputQueue;
+        time_t mMouseMoveTime;
 
         bool mMouseDown;
         bool mMouseInWindow;
-- 
cgit v1.2.3-70-g09d2