diff options
| -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 |