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

..

common.lua

Add keyword based search to serverlist

2017-01-15 13:43:47 -08:00

dlg_config_world.lua

Separate optional from required mod dependencies in main menu (#4721)

2016-11-05 18:42:14 +01:00

dlg_create_world.lua

Mainmenu: Standardize the menu button order and sizes

2016-04-28 07:16:58 +01:00

dlg_delete_mod.lua

Mainmenu: Standardize the menu button order and sizes

2016-04-28 07:16:58 +01:00

dlg_delete_world.lua

Mainmenu: Standardize the menu button order and sizes

2016-04-28 07:16:58 +01:00

dlg_rename_modpack.lua

Mainmenu: Standardize the menu button order and sizes

2016-04-28 07:16:58 +01:00

dlg_settings_advanced.lua

Add search to advanced settings (#4806)

2017-01-18 07:48:25 +01:00

gamemgr.lua

Add notice when only minimal is installed

2014-10-28 13:17:14 -04:00

generate_from_settingtypes.lua

Tidy up generate_from_settingtypes.lua a bit.

2016-08-20 15:48:47 +02:00

init_simple.lua

Mainmenu: Refactor tab UI code

2016-04-08 02:25:04 -04:00

init.lua

Add keyword based search to serverlist

2017-01-15 13:43:47 -08:00

modmgr.lua

Mod dependency lists: Should have platform-independent line breaking

2016-12-12 07:22:47 +00:00

store.lua

Fix store.lua bug: default screenshot

2015-02-12 11:32:42 +01:00

tab_credits.lua

Add keyword based search to serverlist

2017-01-15 13:43:47 -08:00

tab_mods.lua

Separate optional from required mod dependencies in main menu (#4721)

2016-11-05 18:42:14 +01:00

tab_multiplayer.lua

Adjust formspec spacing on the Client tab of the mainmenu

2017-01-16 18:56:04 +00:00

tab_server.lua

Add keyword based search to serverlist

2017-01-15 13:43:47 -08:00

tab_settings.lua

Add keyword based search to serverlist

2017-01-15 13:43:47 -08:00

tab_simple_main.lua

Add keyword based search to serverlist

2017-01-15 13:43:47 -08:00

tab_singleplayer.lua

Add keyword based search to serverlist

2017-01-15 13:43:47 -08:00

tab_texturepacks.lua

Fix a typo and use proper deprecation notification system

2016-09-19 12:14:06 +02:00

textures.lua

Textures: Replace menu background fallback dirt_bg.png with empty sky texture

2016-04-21 10:15:05 +01:00