Mon, 25 Jul 2005 20:35:01 +0000changed MapEditor::undo and saveState so that selection is saved, too (bugfix)
insilmaril [Mon, 25 Jul 2005 20:35:01 +0000] rev 137
changed MapEditor::undo and saveState so that selection is saved, too (bugfix)