Skip to content
Permalink
Browse files

Remove unused settings (#7929)

  • Loading branch information...
pauloue authored and SmallJoker committed Dec 2, 2018
1 parent 3b29502 commit f6662b01ac4b15e6e339007a2cacf69f331007aa
Showing with 0 additions and 6 deletions.
  1. +0 −4 builtin/settingtypes.txt
  2. +0 −2 src/defaultsettings.cpp
@@ -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
@@ -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

0 comments on commit f6662b0

Please sign in to comment.
You can’t perform that action at this time.