diff options
Diffstat (limited to 'src/gui/windowmenu.cpp')
| -rw-r--r-- | src/gui/windowmenu.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/gui/windowmenu.cpp b/src/gui/windowmenu.cpp index bc7e0f736..0e2cc5397 100644 --- a/src/gui/windowmenu.cpp +++ b/src/gui/windowmenu.cpp @@ -205,6 +205,13 @@ WindowMenu::~WindowMenu() } delete_all(mButtonTexts); mButtonTexts.clear(); + if (mSkin) + { + Theme *const theme = Theme::instance(); + if (theme) + theme->unload(mSkin); + mSkin = nullptr; + } } void WindowMenu::action(const gcn::ActionEvent &event) |