changeset 57:1261c0731385

Use resource get_file
author Neil Muller <drnlmuller@gmail.com>
date Sun, 01 Sep 2013 18:55:19 +0200
parents b9430b4a48da
children cee0b845dedc
files tools/area_editor.py
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/tools/area_editor.py	Sun Sep 01 18:51:06 2013 +0200
+++ b/tools/area_editor.py	Sun Sep 01 18:55:19 2013 +0200
@@ -103,8 +103,7 @@
         if not closed:
             print 'Not saving the level'
             return
-        levelfile = resources.get_resource_path(self.name)
-        with file(levelfile, 'w') as f:
+        with resources.get_file(self.name, mode='w') as f:
             f.write('X-Size: %s\n' % self.x)
             f.write('Y-Size: %s\n' % self.y)
             f.write('Base tile: %s\n' % self.basetile)