Add background to rankings GUI

This commit is contained in:
rubenwardy 2018-04-18 23:02:55 +01:00
parent 12d7228ff0
commit 8c67155cdb
No known key found for this signature in database
GPG key ID: A1E29D52FF81513C

View file

@ -74,6 +74,7 @@ function ctf_stats.get_formspec(title, players, header)
end)
local ret = "size[12,"..6.5+header.."]"
ret = ret .. default.gui_bg .. default.gui_bg_img
ret = ret .. "container[0,"..header.."]"
ret = ret .. "vertlabel[0,0;" .. title .. "]"