gui/new_map_win.cc
changeset 1752 dce1f28ac595
parent 1597 15b51d278bf0
child 1814 0f02ced2e2ba