Fix worldlist in servertab being filtered by selected game

PilzAdam · PilzAdam · commit ba65e2ae6c95 · 2013-08-06T17:28:51.000+02:00
diff --git a/builtin/mainmenu.lua b/builtin/mainmenu.lua
@@ -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
 
 --------------------------------------------------------------------------------
