diff options
| author | paradust7 <102263465+paradust7@users.noreply.github.com> | 2022-05-21 15:11:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-22 00:11:59 +0200 |
| commit | 9f338f5a56e5adee3d11d59827f7e2b8a714e6c2 (patch) | |
| tree | a16861160b117c68078c686a02cd5aca6385c66d /src/gui/mainmenumanager.h | |
| parent | 2742fef458c3626476193c9e2d1b9231e042e420 (diff) | |
| download | minetest-9f338f5a56e5adee3d11d59827f7e2b8a714e6c2.tar.gz minetest-9f338f5a56e5adee3d11d59827f7e2b8a714e6c2.tar.bz2 minetest-9f338f5a56e5adee3d11d59827f7e2b8a714e6c2.zip | |
Replace all uses of core::list with std::list (#12313)
Diffstat (limited to 'src/gui/mainmenumanager.h')
| -rw-r--r-- | src/gui/mainmenumanager.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/gui/mainmenumanager.h b/src/gui/mainmenumanager.h index 102492255..76d357340 100644 --- a/src/gui/mainmenumanager.h +++ b/src/gui/mainmenumanager.h @@ -64,10 +64,6 @@ public: // Remove all entries if there are duplicates m_stack.remove(menu); - /*core::list<GUIModalMenu*>::Iterator i = m_stack.getLast(); - assert(*i == menu); - m_stack.erase(i);*/ - if(!m_stack.empty()) m_stack.back()->setVisible(true); } |