log clients/editor/plugins/mapeditor.py @ 108:0c017b8e4ab2

age author description
Sat, 26 Jul 2008 03:04:03 +0000 jwt Added an undo feature to the map editor. Just press u to undo insert placement/removals.
Tue, 22 Jul 2008 20:55:13 +0000 spq fixed rotating instances when moving them
Sun, 13 Jul 2008 13:14:04 +0000 jasoka fix for editor, gui event consumption was not checked properly
Sun, 29 Jun 2008 18:44:17 +0000 mvbarracuda * Datasets becomes the new trunk and retires after that :-)