From fd57699fd30c59a9f85e3d412754083b43f47add Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 10 Aug 2006 14:48:21 +0000 Subject: [PATCH] - Improved dot output significantly --- gui/Gui/Scytherthread.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gui/Gui/Scytherthread.py b/gui/Gui/Scytherthread.py index 29aecaf..14ea177 100644 --- a/gui/Gui/Scytherthread.py +++ b/gui/Gui/Scytherthread.py @@ -159,7 +159,10 @@ class AttackThread(threading.Thread): graphLine("nodesep=0.1") graphLine("ranksep=0.001") 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(1,"height=\"0.01\"") setAttr(1,"width=\"0.01\"")