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

- Fixes to font things.

Browse Source
This commit is contained in:
ccremers 2007-01-10 14:30:52 +00:00
parent 888b9b611a
commit 1ecc43e9d6
1 changed files with 19 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
gui/Gui/Scytherthread.py
View File

@ -143,19 +143,29 @@ class AttackThread(threading.Thread):
# [CC][x] This dpi setting messed up quite a bit # [CC][x] This dpi setting messed up quite a bit
#graphLine("dpi=96") #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")
graphLine("mindist=0.1") #graphLine("mindist=0.1")
if sys.platform.startswith("lin"): if sys.platform.startswith("lin"):
# For Linux, choose Helvetica
# TODO
# This is really a Mac font so it might not be
# available. Still, it works better on my Ubuntu
# than Verdana, and finding a good sans default for
# linux seems problematic.
setAttr("fontname=\"Helvetica\"") setAttr("fontname=\"Helvetica\"")
else: if sys.platform.startswith("mac"):
setAttr("fontname=\"Arial\"") # For Mac choose Helvetica
setAttr("fontname=\"Helvetica\"")
if sys.platform.startswith("win"):
# For Windows choose Verdana
setAttr("fontname=\"Verdana\"")
if self.parent and self.parent.mainwin: if self.parent and self.parent.mainwin:
fontsize = self.parent.mainwin.settings.fontsize fontsize = self.parent.mainwin.settings.fontsize
setAttr("fontsize=%s" % fontsize) setAttr("fontsize=%s" % fontsize)
setAttr("height=\"0.1\"",NODE) #setAttr("height=\"0.1\"",NODE)
setAttr("width=\"1.0\"",NODE) #setAttr("width=\"1.0\"",NODE)
setAttr("margin=\"0.3,0.03\"",NODE) #setAttr("margin=\"0.3,0.03\"",NODE)
def makeImage(self,attack): def makeImage(self,attack):
""" create image for this particular attack """ """ create image for this particular attack """
@ -271,7 +281,7 @@ class ResultWindow(wx.Frame):
): ):
wx.Frame.__init__(self,parentwindow,-1,title,pos,size,style) wx.Frame.__init__(self,parentwindow,-1,title,pos,size,style)
self.SetBackgroundColour('Default') self.SetBackgroundColour('Default')
Icon.ScytherIcon(self) Icon.ScytherIcon(self)
self.parent = parent self.parent = parent