Commit Graph

23 Commits

Author SHA1 Message Date
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