diff options
| author | Paul Ouellette <oue.paul18@gmail.com> | 2018-12-02 09:34:25 -0500 |
|---|---|---|
| committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2018-12-02 15:34:25 +0100 |
| commit | f6662b01ac4b15e6e339007a2cacf69f331007aa (patch) | |
| tree | 76baefc1efea1c19086b147f2b54adac561fb6d1 | |
| parent | 3b295025fd550725de8151ae63c9a3066e32ad26 (diff) | |
| download | minetest-f6662b01ac4b15e6e339007a2cacf69f331007aa.tar.gz minetest-f6662b01ac4b15e6e339007a2cacf69f331007aa.tar.bz2 minetest-f6662b01ac4b15e6e339007a2cacf69f331007aa.zip | |
Remove unused settings (#7929)
| -rw-r--r-- | builtin/settingtypes.txt | 4 | ||||
| -rw-r--r-- | src/defaultsettings.cpp | 2 |
2 files changed, 0 insertions, 6 deletions
diff --git a/builtin/settingtypes.txt b/builtin/settingtypes.txt index 6720cf7f8..8e7e1308d 100644 --- a/builtin/settingtypes.txt +++ b/builtin/settingtypes.txt @@ -1279,10 +1279,6 @@ main_menu_style (Main menu style) enum auto auto,full,simple # Replaces the default main menu with a custom one. main_menu_script (Main menu script) string -main_menu_game_mgr (Main menu game manager) int 0 - -main_menu_mod_mgr (Main menu mod manager) int 1 - # Print the engine's profiling data in regular intervals (in seconds). # 0 = disable. Useful for developers. profiler_print_interval (Engine profiling data print interval) int 0 diff --git a/src/defaultsettings.cpp b/src/defaultsettings.cpp index 095ebc841..52b30ae2f 100644 --- a/src/defaultsettings.cpp +++ b/src/defaultsettings.cpp @@ -264,8 +264,6 @@ void set_default_settings(Settings *settings) // Main menu settings->setDefault("main_menu_style", "auto"); settings->setDefault("main_menu_path", ""); - settings->setDefault("main_menu_mod_mgr", "1"); - settings->setDefault("main_menu_game_mgr", "0"); settings->setDefault("serverlist_file", "favoriteservers.txt"); #if USE_FREETYPE |