mirror of
https://github.com/luanti-org/luanti.git
synced 2025-08-11 17:51:04 +00:00
Remove debug output
This commit is contained in:
parent
60225be7fa
commit
e7ba4777fe
2 changed files with 0 additions and 4 deletions
|
@ -1081,14 +1081,12 @@ end
|
|||
|
||||
--------------------------------------------------------------------------------
|
||||
function menu.update_gametype(reset)
|
||||
print("updating gametype: " .. dump(reset))
|
||||
if reset then
|
||||
mm_texture.reset()
|
||||
engine.set_topleft_text("")
|
||||
filterlist.set_filtercriteria(worldlist,nil)
|
||||
else
|
||||
local game = menu.lastgame()
|
||||
print("current_game = " .. dump(game))
|
||||
mm_texture.update(tabbuilder.current_tab,game)
|
||||
engine.set_topleft_text(game.name)
|
||||
filterlist.set_filtercriteria(worldlist,game.id)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue