From 6ae566de7578ea4dde4d8364f9e9c7171e57cbd5 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@gmail.com>
Date: Sun, 6 Dec 2009 09:56:49 +0000
Subject: [PATCH] Removed unused function mp::ui::set_selected_game.

---
 src/multiplayer_ui.cpp | 13 -------------
 src/multiplayer_ui.hpp |  8 --------
 2 files changed, 21 deletions(-)

diff --git a/src/multiplayer_ui.cpp b/src/multiplayer_ui.cpp
index 8b00bfe8ca0..efe643fcddc 100644
--- a/src/multiplayer_ui.cpp
+++ b/src/multiplayer_ui.cpp
@@ -292,7 +292,6 @@ ui::ui(game_display& disp, const std::string& title, const config& cfg, chat& c,
 	users_menu_(disp.video(), std::vector<std::string>(), false, -1, -1, NULL, &umenu_style),
 
 	user_list_(),
-	selected_game_(""),
 	selected_user_(""),
 	selected_user_changed_(false),
 
@@ -721,9 +720,6 @@ void ui::gamelist_updated(bool silent)
 		u_elem.registered = utils::string_bool(user["registered"]);
 		u_elem.game_id = user["game_id"];
 		u_elem.location = user["location"];
-		if (!u_elem.game_id.empty() && u_elem.game_id == selected_game_) {
-			u_elem.state = SEL_GAME;
-		}
 		if (u_elem.name == preferences::login()) {
 			u_elem.relation = ME;
 		} else if (preferences::is_ignored(u_elem.name)) {
@@ -784,15 +780,6 @@ void ui::gamelist_updated(bool silent)
 	set_user_menu_items(menu_strings);
 }
 
-void ui::set_selected_game(const std::string& game_id)
-{
-	// reposition the player list to show the players in the selected game
-	if (preferences::sort_list() && (selected_game_ != game_id)) {
-		users_menu_.move_selection(0);
-	}
-	selected_game_ = game_id;
-}
-
 void ui::set_user_menu_items(const std::vector<std::string>& list)
 {
 	users_menu_.set_items(list,true,true);
diff --git a/src/multiplayer_ui.hpp b/src/multiplayer_ui.hpp
index d832698af02..e00ff89eb3f 100644
--- a/src/multiplayer_ui.hpp
+++ b/src/multiplayer_ui.hpp
@@ -174,12 +174,6 @@ protected:
 	/** Sets the result of this dialog, to be checked by get_result(). */
 	result set_result(result res);
 
-	/**
-	 * Sets the name of the selected game which is used to highlight the names
-	 * of the players which have joined this game.
-	 */
-	void set_selected_game(const std::string& game_name);
-
 	/**
 	 * Called each time the gamelist_ variable is updated. May be
 	 * overridden by child classes to add custom gamelist behaviour.
@@ -233,8 +227,6 @@ private:
 
 	std::vector<std::string> user_list_;
 
-	std::string selected_game_;
-
 	std::string selected_user_;
 	bool selected_user_changed_;