Mon, 01 Aug 2005 19:33:16 +0000 jhilmer Fix: closing of editor when text are modified
Mon, 01 Aug 2005 19:32:45 +0000 insilmaril Added a few more undo commands in mapeditor