diff options
Diffstat (limited to 'src/gui/windowmenu.cpp')
| -rw-r--r-- | src/gui/windowmenu.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/gui/windowmenu.cpp b/src/gui/windowmenu.cpp index 4cf0a6b2b..1e1f236df 100644 --- a/src/gui/windowmenu.cpp +++ b/src/gui/windowmenu.cpp @@ -426,6 +426,15 @@ void WindowMenu::drawChildren(Graphics* graphics) } } +void WindowMenu::safeDrawChildren(Graphics* graphics) +{ + if (mHaveMouse || !mAutoHide || (mAutoHide == 1 + && mainGraphics && (mSmallWindow || mainGraphics->mWidth > 800))) + { + Container::safeDrawChildren(graphics); + } +} + void WindowMenu::optionChanged(const std::string &name) { if (name == "autohideButtons") |