projects / oweals / minetest.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51746ca) | patch
Add search to advanced settings (#4806)
authorrubenwardy <rubenwardy@gmail.com>
Wed, 18 Jan 2017 06:48:25 +0000 (06:48 +0000)
committerLoïc Blot <nerzhul@users.noreply.github.com>
Wed, 18 Jan 2017 06:48:25 +0000 (07:48 +0100)
commita378e32751127e2ae3708a33f035d1dcf5d400a1
tree66cab931948b2e9bc581ca98bf45598dee9f85b7tree | snapshot
parent51746ca910f8bce0837a72110e47ec7de76d1c19commit | diff
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
builtin/mainmenu/dlg_settings_advanced.lua diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.