1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/windowmenu.h b/src/gui/windowmenu.h
index 7bb9aa549..8c57f368b 100644
--- a/src/gui/windowmenu.h
+++ b/src/gui/windowmenu.h
@@ -93,7 +93,7 @@ class WindowMenu : public Container,
         std::vector <gcn::Button*> mButtons;
         std::map <std::string, gcn::Button*> mButtonNames;
         bool mHaveMouse;
-        bool mAutoHide;
+        int mAutoHide;
 };
 
 extern WindowMenu *windowMenu;