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 /src/player.h | |
| 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 'src/player.h')
0 files changed, 0 insertions, 0 deletions