luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-12-18 21:05:25 +01:00
Code Activity
Files
c4b98deb616fbe204c503d678fb920baa33cbede
luanti/builtin/mainmenu/dlg_settings_advanced.lua
rubenwardy a378e32751 Add search to advanced settings (#4806) 
* Add search to advanced settings

* Press enter again to go to next result

* Use keyword based search, auto select best option
2017-01-18 07:48:25 +01:00

22 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink