diff tools/area_editor.py @ 150:ebdb910257da

Rebuild PNG
author Stefano Rivera <stefano@rivera.za.net>
date Mon, 02 Sep 2013 23:38:11 +0200
parents c9b6685ebebf
children c59c04c3e971
line wrap: on
line diff
--- a/tools/area_editor.py	Mon Sep 02 23:37:10 2013 +0200
+++ b/tools/area_editor.py	Mon Sep 02 23:38:11 2013 +0200
@@ -332,7 +332,7 @@
 if __name__ == "__main__":
     if len(sys.argv) == 2:
         level = EditorLevel(sys.argv[1])
-        level.load()
+        level.load(set())
     elif len(sys.argv) == 4:
         level = EditorLevel(sys.argv[1], int(sys.argv[2]), int(sys.argv[3]))
     else: