diff options
author | rubenwardy <rubenwardy@gmail.com> | 2017-01-18 06:48:25 +0000 |
---|---|---|
committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-01-18 07:48:25 +0100 |
commit | a378e32751127e2ae3708a33f035d1dcf5d400a1 (patch) | |
tree | 66cab931948b2e9bc581ca98bf45598dee9f85b7 /doc/lua_api.txt | |
parent | 51746ca910f8bce0837a72110e47ec7de76d1c19 (diff) | |
download | minetest-a378e32751127e2ae3708a33f035d1dcf5d400a1.tar.gz minetest-a378e32751127e2ae3708a33f035d1dcf5d400a1.tar.bz2 minetest-a378e32751127e2ae3708a33f035d1dcf5d400a1.zip |
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
Diffstat (limited to 'doc/lua_api.txt')
0 files changed, 0 insertions, 0 deletions