aboutsummaryrefslogtreecommitdiff
path: root/builtin/mainmenu/tab_local.lua
AgeCommit message (Collapse)Author
2023-01-16Fix Enter key after creating a new world (#12997)Muhammad Rifqi Priyo Susanto
Prevents Enter key or "double-click" event to play the world just after creating a new world
2022-11-30Avoid resetting music when dialog opens (#13003)Jude Melton-Houghton
2022-07-17Enable the gamebar on Android (#12354)ROllerozxa
2022-05-21Deprecate game.conf name, use title instead (#12030)rubenwardy
2022-01-09Mainmenu game-related changes (#11887)sfan5
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)
2021-11-22Allow for Game-Specific Menu Music (#11241)ExeVirus
2021-08-12Add disable_settings to game.conf to get rid of "Enable Damage"/"Creative ↵Hugues Ross
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-01-20Local tab: rename 'Configure' to 'Select Mods' (#10779)Zughy
Co-authored-by: Zughy <4279489-marco_a@users.noreply.gitlab.com> Co-authored-by: rubenwardy <rw@rubenwardy.com>
2020-12-28Display Minetest header when menu_last_game value isn't available anymore ↵Zughy
(#10751)
2020-09-29Improve layout of main menu 'local' tab (#10366)Paramat
2020-06-04Add buttons to ContentDB in game bar and configure world (#9944)rubenwardy
2020-04-12Fix delayed error message in start game tabrubenwardy
2019-08-06Add luacheck to check builtin (#7895)rubenwardy
2019-08-03Add styles to most elementsrubenwardy
2019-08-03Add style[] tag with button supportrubenwardy
2019-02-18Update gamebar on tab enter (#8192)Paul Ouellette
2018-12-06Disable game bar and header on Android (#7940)rubenwardy
2018-07-31Make the primary, flow-advancing action the right-most (#7594)texmex
2018-04-19Add online content repositoryrubenwardy
Replaces mods and texture pack tabs with a single content tab
2018-01-25Main menu: Change tabs to 'Start Game' and 'Join Game' (#6955)Tre
2017-11-19Mainmenu: Improve button alignmentezhh
2017-05-21Menu: Merge singleplayer and server tabs (#5627)Elijah Duffy
Rename "Singleplayer" tab to "Play" and remove "Server" tab placing server functionality under a "Host Game" checkbox in "Play."