src/gui/mapstorage.cc
changeset 1434 d8475431bbbb