Fix worldlist in servertab being filtered by selected game
authorPilzAdam <pilzadam@minetest.net>
Tue, 6 Aug 2013 15:28:48 +0000 (17:28 +0200)
committerPilzAdam <pilzadam@minetest.net>
Tue, 6 Aug 2013 15:28:51 +0000 (17:28 +0200)
builtin/mainmenu.lua

index e000e66541fa1f0459ca73981888e3a0482208d0..610926e4373c0f83da73177307d6bba48920337b 100644 (file)
@@ -864,7 +864,11 @@ function tabbuilder.init()
                end
        end
        
-       menu.update_gametype()
+       if tabbuilder.current_tab ~= "singleplayer" then
+               menu.update_gametype(true)
+       else
+               menu.update_gametype()
+       end
 end
 
 --------------------------------------------------------------------------------