# HG changeset patch
# User Neil Muller <drnlmuller@gmail.com>
# Date 1378557391 -7200
# Node ID 707d06a77f39947bc040821e10641f4575d16374
# Parent  9eee96966d889576c3a71cb286a11e185ecadd1d
Also scale current line

diff -r 9eee96966d88 -r 707d06a77f39 tools/area_editor.py
--- 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]