gui/new_map_win.cc
changeset 1821 da52afc9c0ed
parent 1814 0f02ced2e2ba
child 1823 cb082cdf3667