From f6662b01ac4b15e6e339007a2cacf69f331007aa Mon Sep 17 00:00:00 2001 From: Paul Ouellette Date: Sun, 2 Dec 2018 09:34:25 -0500 Subject: [PATCH] Remove unused settings (#7929) --- builtin/settingtypes.txt | 4 ---- src/defaultsettings.cpp | 2 -- 2 files changed, 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