# HG changeset patch
# User Stefano Rivera <stefano@rivera.za.net>
# Date 1378157891 -7200
# Node ID ebdb910257dac0b37c81c001967665a7ff853768
# Parent  9bdbc94b0d624ef5f8f58f97f01438e19824e7d6
Rebuild PNG

diff -r 9bdbc94b0d62 -r ebdb910257da data/images/objects/crate.png
Binary file data/images/objects/crate.png has changed
diff -r 9bdbc94b0d62 -r ebdb910257da tools/area_editor.py
--- 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: