diff options
| author | Daniel Burrows <dburrows@debian.org> | 2009-04-05 07:32:04 -0700 |
|---|---|---|
| committer | Daniel Burrows <dburrows@debian.org> | 2009-04-05 07:32:04 -0700 |
| commit | fe1a1cc295cabdd8a84ffdad22751747259c3262 (patch) | |
| tree | 92cde9df3ae0ad256fb3509fce752ff36df8ddfc /tools | |
| parent | 4242a389ce237760c015b3b4113f08e64aaeea91 (diff) | |
| download | aptitude-fe1a1cc295cabdd8a84ffdad22751747259c3262.tar.gz | |
Represent forced edges with two parallel lines instead of changing the color and making them bold.
This shows up much better on black&white printers, and it's what I
wanted to do when it was clear that bolding was too little; I hadn't
figured out how to do it until now.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/resolver-visualize/DotRender.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/resolver-visualize/DotRender.hs b/tools/resolver-visualize/DotRender.hs index c6d42760..aecf7575 100644 --- a/tools/resolver-visualize/DotRender.hs +++ b/tools/resolver-visualize/DotRender.hs @@ -77,9 +77,9 @@ dotEdges params step = processed ++ unprocessed (node (name $ printf "step%d" (stepOrder step'))) <<< set "label" (dotChoiceLabel succChoice) <<< forced `thenDo` - set "style" "bold" `andAlso` - set "color" "darkgreen" `andAlso` - set "labelcolor" "darkgreen" + -- This gives us an arrow drawn with two + -- parallel lines. + set "color" "black:black" | Successor { successorStep = step', successorChoice = succChoice, successorForced = forced } <- stepSuccessors step ] |