1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-08-01 17:38:41 +00:00

Clean up and improve mainmenu theme / game theme code (#13885)

This commit is contained in:
Gregor Parzefall 2023-10-18 20:18:50 +02:00 committed by GitHub
parent 62eb6cfed0
commit b1dec37adb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
10 changed files with 96 additions and 80 deletions

View file

@ -416,9 +416,11 @@ local function main_button_handler(tabview, fields, name, tabdata)
return false
end
local function on_change(type, old_tab, new_tab)
if type == "LEAVE" then return end
serverlistmgr.sync()
local function on_change(type)
if type == "ENTER" then
mm_game_theme.set_engine()
serverlistmgr.sync()
end
end
return {