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

Make the settings GUI more usable on Android (#13543)

Browse Source
This commit is contained in:
Gregor Parzefall
2023-06-05 12:01:54 +02:00
committed by GitHub
parent d9f478cbfb
commit a857c46e6e
3 changed files with 24 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.luacheckrc
View File

@@ -70,6 +70,7 @@ files["builtin/mainmenu"] = {
read_globals = {
"PLATFORM",
"TOUCHSCREEN_GUI",
},
}