From ec209996e04e3d8f824ecb12bc43eb332ee6e2c6 Mon Sep 17 00:00:00 2001 From: uso Date: Sun, 29 Jul 2007 23:32:07 +0000 Subject: [PATCH] strip color tags from the user list help --- src/multiplayer_ui.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/multiplayer_ui.cpp b/src/multiplayer_ui.cpp index b5226080f1a..84d533b57ca 100644 --- a/src/multiplayer_ui.cpp +++ b/src/multiplayer_ui.cpp @@ -16,6 +16,7 @@ #include "construct_dialog.hpp" #include "game_display.hpp" #include "font.hpp" +#include "marked-up_text.hpp" #include "gettext.hpp" #include "game_config.hpp" #include "image.hpp" @@ -701,7 +702,7 @@ void ui::gamelist_updated(bool silent) std::vector< std::string >::const_iterator help_itor = user_strings.begin(); std::vector< std::string >::iterator menu_itor = menu_strings.begin(); while(help_itor != user_strings.end() && menu_itor != menu_strings.end()) { - *menu_itor++ += help_sep + *help_itor++; + *menu_itor++ += help_sep + font::del_tags(*help_itor++); } set_user_list(user_strings, silent); set_user_menu_items(menu_strings);