void teditor_generate_map::update_current_generator_label(twindow& window) { std::stringstream ss; ss << lexical_cast<std::string>(current_map_generator_ + 1); ss << "/" << lexical_cast<std::string>(map_generators_.size()); ss << ": " << get_selected_map_generator()->name() << ", " << get_selected_map_generator()->config_name(); current_generator_label_->set_label(ss.str()); window.invalidate_layout(); }
void teditor_generate_map::do_settings(twindow& /*window*/) { map_generator* mg = get_selected_map_generator(); if (mg->allow_user_config()) { mg->user_config(*gui_); } }
void teditor_generate_map::do_settings(twindow& window) { get_selected_map_generator()->user_config(window.video()); }
void teditor_generate_map::do_settings(twindow&) { get_selected_map_generator()->user_config(*gui_); }