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

fix gamelist diff bugs

Browse source
This commit is contained in:
Jon Daniel 2005-10-21 17:52:42 +00:00
parent 6546dabb93
commit 76e287f954
2 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/multiplayer_ui.cpp
View file

@ -151,6 +151,7 @@ ui::ui(display& disp, const std::string& title, const config& cfg, chat& c, conf
gui::widget(disp.video()),
disp_(disp),
initialized_(false),
gamelist_initialized_(false),
hotkey_handler_(&disp),
disp_manager_(&disp),
@ -320,11 +321,15 @@ void ui::process_network_data(const config& data, const network::connection sock
}
if(data.child("gamelist")) {
if(!gamelist_initialized_)
gamelist_initialized_ = true;
gamelist_ = data;
gamelist_updated(false);
} else if(data.child("gamelist_diff")) {
gamelist_.apply_diff(*data.child("gamelist_diff"));
gamelist_updated(false);
if(gamelist_initialized_) {
gamelist_.apply_diff(*data.child("gamelist_diff"));
gamelist_updated(false);
}
}
}
}

1
src/multiplayer_ui.hpp
View file

@ -154,6 +154,7 @@ private:
/** Set to true when the widgets are intialized. Allows delayed
* initialization on first positioning. */
bool initialized_;
bool gamelist_initialized_;
// Ensures standard hotkeys are coorectly handled
const hotkey::basic_handler hotkey_handler_;