Gregor Parzefall
e5a5d5a672
Fix various cases of double-escaped error messages
2023-06-05 11:59:37 +02:00
Muhammad Rifqi Priyo Susanto
a2a280691c
Fix Enter key after creating a new world ( #12997 )
...
Prevents Enter key or "double-click" event to play the world just after creating a new world
2023-01-16 20:16:08 +01:00
Jude Melton-Houghton
3ff8adf599
Avoid resetting music when dialog opens ( #13003 )
2022-11-30 10:42:30 -05:00
ROllerozxa
f090471022
Enable the gamebar on Android ( #12354 )
2022-07-17 14:45:30 +01:00
rubenwardy
4e9e230e34
Deprecate game.conf name, use title instead ( #12030 )
2022-05-21 16:23:30 +01:00
sfan5
4c8c649779
Mainmenu game-related changes ( #11887 )
...
fixes:
* Switching between games does not immediately hide creative mode / damage buttons if so specified
* World creation menu has a game selection list even though the menu already provides a gamebar
* Showing gameid in world list is unnecessary
* Choice of mapgen parameters in menu persists between games (and was half-broken)
2022-01-09 21:15:35 +01:00
ExeVirus
52bfbf6ed0
Allow for Game-Specific Menu Music ( #11241 )
2021-11-22 17:26:46 +00:00
Hugues Ross
47c146120a
Add disable_settings to game.conf to get rid of "Enable Damage"/"Creative Mode"/"Host Server" checkboxes ( #11524 )
...
This adds support for disable_settings to game.conf. In this you can specify a list of settings that should not be visible in the "local game" (or however it is called nowadays) tab. Enable Damage, Creative Mode and Host Server are supported.
Co-authored-by: Wuzzy <Wuzzy2@mail.ru >
Co-authored-by: Aaron Suen <warr1024@gmail.com >
Co-authored-by: rubenwardy <rw@rubenwardy.com >
2021-08-12 20:08:12 +02:00
Zughy
eb8af614a5
Local tab: rename 'Configure' to 'Select Mods' ( #10779 )
...
Co-authored-by: Zughy <4279489-marco_a@users.noreply.gitlab.com >
Co-authored-by: rubenwardy <rw@rubenwardy.com >
2021-01-20 22:32:18 +00:00
Zughy
55dba1bc6d
Display Minetest header when menu_last_game value isn't available anymore ( #10751 )
2020-12-28 13:56:58 +01:00
Paramat
a69bc67ce2
Improve layout of main menu 'local' tab ( #10366 )
2020-09-29 23:37:03 +01:00
rubenwardy
850af80089
Add buttons to ContentDB in game bar and configure world ( #9944 )
2020-06-04 21:53:26 +01:00
rubenwardy
3833396cfa
Fix delayed error message in start game tab
2020-04-12 00:12:18 +01:00
rubenwardy
8e757859d6
Add luacheck to check builtin ( #7895 )
2019-08-06 19:30:18 +01:00
rubenwardy
9541165752
Add styles to most elements
2019-08-03 19:36:30 +01:00
rubenwardy
ec3795a55c
Add style[] tag with button support
2019-08-03 19:36:30 +01:00
Paul Ouellette
0ad96cc73f
Update gamebar on tab enter ( #8192 )
2019-02-18 21:04:43 +00:00
rubenwardy
0c6933bdf7
Disable game bar and header on Android ( #7940 )
2018-12-06 23:32:15 +00:00
texmex
6afbb06c7e
Make the primary, flow-advancing action the right-most ( #7594 )
2018-07-31 22:00:42 +02:00
rubenwardy
87ad4d8e7f
Add online content repository
...
Replaces mods and texture pack tabs with a single content tab
2018-04-19 20:14:53 +01:00
Tre
3a5959ae6b
Main menu: Change tabs to 'Start Game' and 'Join Game' ( #6955 )
2018-01-25 20:59:24 +01:00
ezhh
c655984849
Mainmenu: Improve button alignment
2017-11-19 00:24:40 +00:00
Elijah Duffy
4dc97eb99f
Menu: Merge singleplayer and server tabs ( #5627 )
...
Rename "Singleplayer" tab to "Play" and remove "Server" tab placing server functionality under a "Host Game" checkbox in "Play."
2017-05-21 10:07:05 +02:00
