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)

Mon, 25 Jul 2005 20:07:18 +0000changed MapEditor::undo and saveState so that selection is saved, too (bgugfix)
insilmaril [Mon, 25 Jul 2005 20:07:18 +0000] rev 136
changed MapEditor::undo and saveState so that selection is saved, too (bgugfix)