diff tools/area_editor.py @ 441:707d06a77f39

Also scale current line
author Neil Muller <drnlmuller@gmail.com>
date Sat, 07 Sep 2013 14:36:31 +0200
parents 4c60df80b91b
children a99e5e724545 0f8945232e54
line wrap: on
line diff
--- a/tools/area_editor.py	Sat Sep 07 14:36:09 2013 +0200
+++ b/tools/area_editor.py	Sat Sep 07 14:36:31 2013 +0200
@@ -149,7 +149,8 @@
                 endpoint = self.point_to_pymunk(mouse_pos)
                 pygame.draw.line(self._surface, color,
                                  self.point_to_pygame(polygon[-1]),
-                                 self.point_to_pygame(endpoint))
+                                 self.point_to_pygame(endpoint),
+                                 line_width // 2)
         line_found = False  # Hack for sane behaviour if lines overlap
         for line in self.lines:
             pointlist = [self.point_to_pygame(p) for p in line]