luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-17 18:35:20 +02:00
Code Activity

Add HTTP API to main menu (#9998)

Browse Source
This commit is contained in:
rubenwardy
2020-06-06 17:17:08 +01:00
committed by GitHub
parent 7ec0e3df35
commit 60bab8b2d7
9 changed files with 289 additions and 112 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
builtin/fstk/ui.lua
View File

@@ -85,7 +85,7 @@ function ui.update()
"box[0.5,1.2;13,5;#000]",
("textarea[0.5,1.2;13,5;;%s;%s]"):format(
error_title, error_message),
"button[5,6.6;4,1;btn_error_confirm;" .. fgettext("Ok") .. "]"
"button[5,6.6;4,1;btn_error_confirm;" .. fgettext("OK") .. "]"
}
else
local active_toplevel_ui_elements = 0