changeset 435:27d74e58151d

Round level coordinates
author Neil Muller <drnlmuller@gmail.com>
date Sat, 07 Sep 2013 14:14:41 +0200
parents 1039c3908413
children 7079c3214d72
files tools/area_editor.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/tools/area_editor.py	Sat Sep 07 14:10:46 2013 +0200
+++ b/tools/area_editor.py	Sat Sep 07 14:14:41 2013 +0200
@@ -410,7 +410,7 @@
             return (0, 0)
         # Apply zoom_factor
         zoomed = (pos[0] * self._zoom_factor, pos[1] * self._zoom_factor)
-        return zoomed[0] + self.pos[0], zoomed[1] + self.pos[1]
+        return int(zoomed[0] + self.pos[0]), int(zoomed[1] + self.pos[1])
 
     def _move_view(self, offset):
         new_pos = [self.pos[0] + offset[0], self.pos[1] + offset[1]]