# HG changeset patch
# User Neil Muller <neil@dip.sun.ac.za>
# Date 1282743292 -7200
# Node ID f98bc17f5e67416f9cc38ba9002b7cde776b08d0
# Parent  6b3ccee6f3f91768972b949780d3d4cc38df8e9c
Add attributes for drawing rects

diff -r 6b3ccee6f3f9 -r f98bc17f5e67 tools/rect_drawer.py
--- a/tools/rect_drawer.py	Wed Aug 25 15:28:44 2010 +0200
+++ b/tools/rect_drawer.py	Wed Aug 25 15:34:52 2010 +0200
@@ -59,6 +59,9 @@
 
 class AppImage(Widget):
 
+    rect_thick = 3
+    draw_thick = 1
+
     def __init__(self, state):
         self.state = state
         super(AppImage, self).__init__(pygame.rect.Rect(0, 0, 800, 600))
@@ -83,9 +86,9 @@
             rect = pygame.rect.Rect(self.start_pos[0], self.start_pos[1],
                     self.end_pos[0] - self.start_pos[0],
                     self.end_pos[1] - self.start_pos[1])
-            frame_rect(surface, self.draw_color, rect, 2)
+            frame_rect(surface, self.draw_color, rect, self.draw_thick)
         for (col, rect) in self.rects:
-            frame_rect(surface, col, rect, 1)
+            frame_rect(surface, col, rect, self.rect_thick)
 
     def _make_dict(self):
         d = {}