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:48:21 +00:00
parent 3217f02dd4
commit fd57699fd3
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gui/Gui/Scytherthread.py
View File

@ -159,7 +159,10 @@ class AttackThread(threading.Thread):
graphLine("nodesep=0.1") graphLine("nodesep=0.1")
graphLine("ranksep=0.001") graphLine("ranksep=0.001")
graphLine("mindist=0.1") graphLine("mindist=0.1")
setAttr(3,"fontname=Sans") if sys.platform.startswith("lin"):
setAttr(3,"fontname=\"Sans\"")
else:
setAttr(3,"fontname=\"Arial\"")
setAttr(3,"fontsize=10") setAttr(3,"fontsize=10")
setAttr(1,"height=\"0.01\"") setAttr(1,"height=\"0.01\"")
setAttr(1,"width=\"0.01\"") setAttr(1,"width=\"0.01\"")