MainMenu: minor fixes
|
@ -61,6 +61,7 @@ end
|
|||
|
||||
local checked_worlds = false
|
||||
local function get_formspec()
|
||||
mm_texture.set_dirt_bg()
|
||||
menudata.worldlist:set_filtercriteria("default")
|
||||
|
||||
-- Only check the worlds once (on restart)
|
||||
|
|
|
@ -136,7 +136,7 @@ local function get_formspec(tabview, name, tabdata)
|
|||
if #favs > 0 then
|
||||
for i = 1, #favs do
|
||||
for j = 1, #serverlistmgr.servers do
|
||||
if serverlistmgr.servers[j].address == favs[i].address and
|
||||
if serverlistmgr.servers[j] and serverlistmgr.servers[j].address == favs[i].address and
|
||||
serverlistmgr.servers[j].port == favs[i].port then
|
||||
table.insert(serverlistmgr.servers, i, table.remove(serverlistmgr.servers, j))
|
||||
end
|
||||
|
|
Before Width: | Height: | Size: 349 B After Width: | Height: | Size: 349 B |
Before Width: | Height: | Size: 355 B After Width: | Height: | Size: 354 B |
Before Width: | Height: | Size: 330 B After Width: | Height: | Size: 328 B |
Before Width: | Height: | Size: 337 B After Width: | Height: | Size: 337 B |