Patch from stephan to avoid setting cursor to the same value multiple

times on GTK+ as it is retained by the window.
Minor cleanups.

1 files changed, 5 insertions, 3 deletions

diff --git a/include/Platform.h b/include/Platform.h
index 80f5af2e3..b3cfcfe66 100644
--- a/include/Platform.h
+++ b/include/Platform.h
@@ -310,8 +310,8 @@ class Window {
 protected:
 	WindowID id;
 public:
-	Window() : id(0) {}
-	Window(const Window &source) : id(source.id) {}
+	Window() : id(0), cursorLast(cursorInvalid) {}
+	Window(const Window &source) : id(source.id), cursorLast(cursorInvalid) {}
 	virtual ~Window();
 	Window &operator=(WindowID id_) {
 		id = id_;
@@ -329,9 +329,11 @@ public:
 	void InvalidateAll();
 	void InvalidateRectangle(PRectangle rc);
 	virtual void SetFont(Font &font);
-	enum Cursor { cursorText, cursorArrow, cursorUp, cursorWait, cursorHoriz, cursorVert, cursorReverseArrow };
+	enum Cursor { cursorInvalid, cursorText, cursorArrow, cursorUp, cursorWait, cursorHoriz, cursorVert, cursorReverseArrow };
 	void SetCursor(Cursor curs);
 	void SetTitle(const char *s);
+private:
+	Cursor cursorLast;
 };
 
 /**