void mp_staging::post_show(window& window) { if(update_timer_ != 0) { remove_timer(update_timer_); update_timer_ = 0; } if(window.get_retval() == window::OK) { connect_engine_.start_game(); } else { connect_engine_.leave_game(); } }
void mp_change_control::post_show(window& window) { if(window.get_retval() == window::OK) { DBG_GUI << "Main: changing control of side " << sides_[selected_side_] << " to nick " << nicks_[selected_nick_] << std::endl; menu_handler_.request_control_change( sides_[selected_side_], nicks_[selected_nick_] ); } }