std::set<map_location> editor_map::set_starting_position_labels(display& disp)
{
std::set<map_location> label_locs;
std::string label = _("Player");
label += " ";
for (int i = 0, size = starting_positions_.size(); i < size; ++i) {
if (starting_positions_[i].valid()) {
disp.labels().set_label(starting_positions_[i], label + lexical_cast<std::string>(i + 1));
label_locs.insert(starting_positions_[i]);
}
}
return label_locs;
}
std::set<map_location> editor_map::set_starting_position_labels(display& disp)
{
std::set<map_location> label_locs;
std::string label = _("Player");
label += " ";
for (int i = 1; i <= gamemap::MAX_PLAYERS; i++) {
if (startingPositions_[i].valid()) {
disp.labels().set_label(startingPositions_[i], label + lexical_cast<std::string>(i));
label_locs.insert(startingPositions_[i]);
}
}
return label_locs;
}
void map_context::clear_starting_position_labels(display& disp)
{
disp.labels().clear_all();
starting_position_label_locs_.clear();
}