andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Improved dot output significantly

Browse Source
This commit is contained in:
ccremers 2006-08-10 14:45:00 +00:00
parent 9326426a55
commit 3217f02dd4
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gui/Gui/Scytherthread.py
View File

@ -154,6 +154,7 @@ class AttackThread(threading.Thread):
fp.write(l) fp.write(l)
if l.startswith("digraph"): if l.startswith("digraph"):
# Write additional stuff for this graph # Write additional stuff for this graph
graphLine("dpi=96")
graphLine("rankdir=TB") graphLine("rankdir=TB")
graphLine("nodesep=0.1") graphLine("nodesep=0.1")
graphLine("ranksep=0.001") graphLine("ranksep=0.001")