oss/luanti
oss/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-08-06 17:41:04 +00:00
Code Wiki Activity

Clean up menus properly on client exit (#16150)

Browse source
This commit is contained in:
sfan5 2025-05-18 12:13:48 +02:00 • committed by GitHub
parent dca88be81d
commit 8c8b7cb251
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 12 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/gui/mainmenumanager.h
View file

@ -59,6 +59,8 @@ public:
if(!m_stack.empty()) {
m_stack.back()->setVisible(true);
guienv->setFocus(m_stack.back());
} else {
guienv->removeFocus(menu);
}
}