Change: shape of a finished task

This way, finished tasks differ from ready/next tasks by both shape
and colour, which is good for colour blind people or when printing
without colour.

1 files changed, 1 insertions, 1 deletions

diff --git a/projgraph b/projgraph
index a05d951..2e3b0ca 100755
--- a/projgraph
+++ b/projgraph
@@ -24,7 +24,7 @@ def nodeattrs(done):
     attrs = {
         unknown: {'fillcolor': '#ff0000', 'shape': 'diamond'},
         blocked:  {'fillcolor': '#f4bada', 'shape': 'rectangle'},
-        finished:  {'fillcolor': '#eeeeee'},
+        finished:  {'fillcolor': '#eeeeee', 'shape': 'circle'},
         ready:  {'fillcolor': '#ffffff'},
         next: {'fillcolor': '#00cc00'},
         goal: {'fillcolor': '#00eeee', 'shape': 'diamond'},