Apply dot tweaks last
This commit is contained in:
parent
96a3a87f9e
commit
842e174bb9
@ -208,14 +208,14 @@ class Harness:
|
|||||||
if not (r1, r2) == (None, None):
|
if not (r1, r2) == (None, None):
|
||||||
dot.edge(r1, r2)
|
dot.edge(r1, r2)
|
||||||
|
|
||||||
apply_dot_tweaks(dot, self.tweak)
|
|
||||||
|
|
||||||
for mate in self.mates:
|
for mate in self.mates:
|
||||||
color, dir, code_from, code_to = gv_edge_mate(mate)
|
color, dir, code_from, code_to = gv_edge_mate(mate)
|
||||||
|
|
||||||
dot.attr("edge", color=color, style="dashed", dir=dir)
|
dot.attr("edge", color=color, style="dashed", dir=dir)
|
||||||
dot.edge(code_from, code_to)
|
dot.edge(code_from, code_to)
|
||||||
|
|
||||||
|
apply_dot_tweaks(dot, self.tweak)
|
||||||
|
|
||||||
return dot
|
return dot
|
||||||
|
|
||||||
# cache for the GraphViz Graph object
|
# cache for the GraphViz Graph object
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user