# HG changeset patch
# User Stefano Rivera <stefano@rivera.za.net>
# Date 1378229488 -7200
# Node ID e003b994c48b05f41b15d245e1bfab447fc5c4c7
# Parent  7ffb43164042234f014b78fe1eb6f99097b6d9ea
Output coordinates from the level editor, to help place things

diff -r 7ffb43164042 -r e003b994c48b tools/area_editor.py
--- a/tools/area_editor.py	Tue Sep 03 19:09:07 2013 +0200
+++ b/tools/area_editor.py	Tue Sep 03 19:31:28 2013 +0200
@@ -232,6 +232,8 @@
             self.invalidate()
 
     def mouse_down(self, ev):
+        if ev.button == 1:
+            print "Click: %r" % (self._level_coordinates(ev.pos),)
         if ev.button == 4:  # Scroll up
             self._move_view((0, -10))
         elif ev.button == 5:  # Scroll down