diff options
Diffstat (limited to 'crawl-ref/source/initfile.cc')
-rw-r--r-- | crawl-ref/source/initfile.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/crawl-ref/source/initfile.cc b/crawl-ref/source/initfile.cc index cfcc7cd326..969962c757 100644 --- a/crawl-ref/source/initfile.cc +++ b/crawl-ref/source/initfile.cc @@ -880,7 +880,6 @@ void game_options::reset_options() sound_mappings.clear(); menu_colour_mappings.clear(); menu_colour_prefix_class = false; - menu_colour_prefix_id = false; message_colour_mappings.clear(); drop_filter.clear(); map_file_name.clear(); @@ -2637,8 +2636,6 @@ void game_options::read_option_line(const std::string &str, bool runscript) } else BOOL_OPTION(menu_colour_prefix_class); else BOOL_OPTION_NAMED("menu_color_prefix_class", menu_colour_prefix_class); - else BOOL_OPTION(menu_colour_prefix_id); - else BOOL_OPTION_NAMED("menu_color_prefix_id", menu_colour_prefix_id); else if (key == "message_colour" || key == "message_color") { add_message_colour_mappings(field); |