Tre 5ef9056e89 Add a refresh button to the serverlist (#6957) ...

* add refresh button

* Make search and refresh buttons smaller

* Change to image button

2018-02-19 08:25:57 +01:00

..

common.lua

Fix core.wrap_text and make its behaviour consistent with the docs

2017-09-12 19:33:00 +02:00

dlg_config_world.lua

Mainmenu: Fix issues while trying to enable all mods (#5770)

2017-05-19 07:45:47 +02:00

dlg_create_world.lua

Fix error if setting menu_last_game is not a valid game

2017-12-22 10:39:51 +00: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

Advanced settings: Add range check for float type

2017-12-26 21:55:58 +00:00

gamemgr.lua

Add formspec escaping to subgame list in create world dialog (#5808)

2017-05-24 07:45:23 +02:00

generate_from_settingtypes.lua

Improvements/fixes for noise parameter input in advanced settings

2017-10-23 01:28:13 +01:00

init.lua

Add main_menu_style setting

2018-02-08 15:38:24 +01:00

modmgr.lua

Mainmenu: Fix issues while trying to enable all mods (#5770)

2017-05-19 07:45:47 +02:00

tab_credits.lua

Update credits (#6228)

2017-08-09 00:11:41 +10:00

tab_local.lua

Main menu: Change tabs to 'Start Game' and 'Join Game' (#6955)

2018-01-25 20:59:24 +01:00

tab_mods.lua

Mainmenu: Improve button alignment

2017-11-19 00:24:40 +00:00

tab_online.lua

Add a refresh button to the serverlist (#6957)

2018-02-19 08:25:57 +01:00

tab_settings.lua

Change Normal Map setting to be less ambigous

2017-12-16 04:05:36 +00:00

tab_simple_main.lua

Android: Fix crash while loading main menu (#5736)

2017-05-09 18:30:34 +02:00

tab_texturepacks.lua

Mainmenu: Make capitalisation consistent in mainmenu and advanced settings

2017-11-14 00:39:04 +00:00

textures.lua

Use a settings object for the main settings

2017-05-06 15:33:19 -04:00