make edges a bit thicker.

andrewf · Apr 24, 2012 · eb9cc42 · eb9cc42
1 parent 37b63a7
commit eb9cc42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/viewportedge.py b/viewportedge.py
@@ -78,7 +78,7 @@ def __init__(self, viewport, gpfile, edge, orig, dest):
             *(self.get_coords()),
             arrow='last',
             smooth='raw',
-            width=6,
+            width=7,
             fill='blue',
             activefill='#6060ff'
         )