Remove unused settings (#7929)

diff --git a/builtin/settingtypes.txt b/builtin/settingtypes.txt
index 6720cf7f8eb1a78fd738e9a352f40788f9f4602e..8e7e1308d64deb14329acfd769112bc9c698ac79 100644 (file)
--- 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 095ebc8412566b440c10214a13292d6c3c160f3e..52b30ae2f46c52bdd8818bd7043191f6c3cfe75a 100644 (file)
--- 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