0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

revert 2007-09-26T14:27:40Z!alinkmaze@gmail.com.

Browse source 
The tiny bug (server names not directly translated when switching
languages) don't worth the complexity needed to properly fix it.
This commit is contained in:
Ali El Gariani 2007-09-26 21:44:25 +00:00
parent 9300212e6f
commit c6dcd826fd
1 changed files with 15 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
src/game_preferences.cpp
View file

@ -148,7 +148,21 @@ void _set_iconize_list(bool sort)
const std::vector<game_config::server_info>& server_list()
{
return game_config::server_list;
static std::vector<game_config::server_info> pref_servers;
if(pref_servers.empty()) {
std::vector<game_config::server_info> &game_servers = game_config::server_list;
wassert(game_servers.size() > 0);
pref_servers.insert(pref_servers.begin(), game_servers.begin(), game_servers.end());
const std::vector<config *> &user_servers = get_prefs()->get_children("server");
std::vector<config *>::const_iterator server;
for(server = user_servers.begin(); server != user_servers.end(); ++server) {
game_config::server_info sinf;
sinf.name = (**server)["name"];
sinf.address = (**server)["address"];
pref_servers.push_back(sinf);
}
}
return pref_servers;
}
const std::string network_host()