Apply dot tweaks last

This commit is contained in:
Daniel Rojas 2021-10-21 12:11:04 +02:00 committed by Laurier Loiselle
parent b7f49b043c
commit a1db161bb0
No known key found for this signature in database
GPG Key ID: 345920CC72089A3F

View File

@ -208,14 +208,14 @@ class Harness:
if not (r1, r2) == (None, None):
dot.edge(r1, r2)
apply_dot_tweaks(dot, self.tweak)
for mate in self.mates:
color, dir, code_from, code_to = gv_edge_mate(mate)
dot.attr("edge", color=color, style="dashed", dir=dir)
dot.edge(code_from, code_to)
apply_dot_tweaks(dot, self.tweak)
return dot
# cache for the GraphViz Graph object