# HG changeset patch
# User Neil Muller <drnlmuller@gmail.com>
# Date 1378054519 -7200
# Node ID 1261c073138563d5e27dda415fe30edc53cb9966
# Parent  b9430b4a48da13553a7916acabdec422bee7ea7d
Use resource get_file

diff -r b9430b4a48da -r 1261c0731385 tools/area_editor.py
--- 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)