mirror of
https://github.com/luanti-org/luanti.git
synced 2025-09-30 19:22:14 +00:00
Restore the menu header explicitly
This commit is contained in:
parent
869ed0544e
commit
97141ffd41
1 changed files with 2 additions and 0 deletions
|
@ -51,6 +51,8 @@ function mm_game_theme.set_game(gamedetails)
|
|||
assert(gamedetails ~= nil)
|
||||
|
||||
if mm_game_theme.gameid == gamedetails.id then
|
||||
-- still restore header in case it was cleared
|
||||
mm_game_theme.set_game_single("header", gamedetails)
|
||||
return
|
||||
end
|
||||
mm_game_theme.gameid = gamedetails.id
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue