log tools/editor/scripts/editor.py @ 402:bc6730a27820

age author description
Fri, 29 Jan 2010 10:55:21 +0000 cheesesucker * Fixed a bug where the editor would not activate the new mapview after closing a map