Commit Graph

29 Commits

Author SHA1 Message Date
Gregor Parzefall
94eba15c34
Misc. mainmenu fixes (#13859)
* settingstypes.txt: Fix wrong default value for profiler.report_path

* Disable Irrlicht file picker on Android
  (It doesn't work.)

* Join Game tab: Fix server description textarea being misaligned with background

* Reduce distance between tab and gamebar on Android
  Allows using a higher gui_scaling value without the gamebar going off-screen.

Co-authored-by: ROllerozxa <rollerozxa@voxelmanip.se>
2023-10-01 11:19:52 +02:00
ROllerozxa
a88e61c2cf
Improve UX when no game exists and drop default_game (#13550) 2023-09-17 18:45:28 +01:00
Gregor Parzefall
83b85ba16a
Rewrite the gamebar (#13768) 2023-09-02 23:02:02 +02:00
Gregor Parzefall
4252f9d4d5
Restore the appearance of the "Start Game" tab after #13761 (#13769) 2023-08-30 14:45:44 +02:00
rubenwardy
0cbf96cc83
Use formspec version 6 in the main menu (#13761) 2023-08-28 22:36:54 +01:00
Montandalar
7b3ed32003
Persist text inputs in mainmenu local tab
Co-authored-by: archfan <33993466+archfan7411@users.noreply.github.com>
2023-08-14 18:17:53 +02:00
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