Mirrorlandia_minetest/minetest
1
0
Fork 1
mirror of https://github.com/minetest/minetest.git synced 2024-12-23 06:32:23 +01:00
Code Issues Packages Projects Releases Wiki Activity

MainMenuManager: fix FIXME (#15414)

Browse Source
This commit is contained in:
wrrrzr 2024-11-12 12:52:37 +03:00 committed by GitHub
parent af61de7777
commit 1c92d6243f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/client/game.cpp
View File

@ -1219,8 +1219,7 @@ void Game::shutdown()
/* cleanup menus */ /* cleanup menus */
while (g_menumgr.menuCount() > 0) { while (g_menumgr.menuCount() > 0) {
g_menumgr.m_stack.front()->setVisible(false); g_menumgr.deleteFront();
g_menumgr.deletingMenu(g_menumgr.m_stack.front());
} }
m_game_ui->deleteFormspec(); m_game_ui->deleteFormspec();

8
src/gui/mainmenumanager.h
View File

@ -70,6 +70,12 @@ public:
return m_stack.size(); return m_stack.size();
} }
void deleteFront()
{
m_stack.front()->setVisible(false);
deletingMenu(m_stack.front());
}
bool pausesGame() bool pausesGame()
{ {
for (gui::IGUIElement *i : m_stack) { for (gui::IGUIElement *i : m_stack) {
@ -80,7 +86,7 @@ public:
return false; return false;
} }
// FIXME: why isn't this private? private:
std::list<gui::IGUIElement*> m_stack; std::list<gui::IGUIElement*> m_stack;
}; };