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

- Fixed layout of result window.

Browse Source
This commit is contained in:
ccremers 2006-08-09 07:59:57 +00:00
parent 1f99ec6947
commit b5deb0fbaf
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gui/Gui/Scytherthread.py
View File

@ -261,13 +261,14 @@ class ResultWindow(wx.Frame):
claims = self.parent.claims claims = self.parent.claims
# set up grid # set up grid
self.grid = grid = wx.GridBagSizer(7,1+len(claims)) self.grid = grid = wx.GridBagSizer(0,0)
#self.grid = grid = wx.GridBagSizer(7,1+len(claims))
def titlebar(x,title,width=1): def titlebar(x,title,width=1):
txt = wx.StaticText(self,-1,title) txt = wx.StaticText(self,-1,title)
font = wx.Font(14,wx.NORMAL,wx.NORMAL,wx.NORMAL) font = wx.Font(14,wx.NORMAL,wx.NORMAL,wx.NORMAL)
txt.SetFont(font) txt.SetFont(font)
grid.Add(txt,(0,x),(1,width)) grid.Add(txt,(0,x),(1,width),wx.ALL,10)
titlebar(0,"Claim",5) titlebar(0,"Claim",5)
if len(claims) > 0: if len(claims) > 0:
@ -288,7 +289,7 @@ class ResultWindow(wx.Frame):
def BuildClaim(self,grid,cl,ypos): def BuildClaim(self,grid,cl,ypos):
# a support function # a support function
def addtxt(txt,column): def addtxt(txt,column):
grid.Add(wx.StaticText(self,-1,txt),(ypos,column),(1,1),wx.ALIGN_CENTER_VERTICAL) grid.Add(wx.StaticText(self,-1,txt),(ypos,column),(1,1),wx.ALIGN_CENTER_VERTICAL|wx.ALL,10)
# button for ok/fail # button for ok/fail
tsize = (16,16) tsize = (16,16)
@ -300,7 +301,7 @@ class ResultWindow(wx.Frame):
bmp = wx.EmptyBitmap(tsize) bmp = wx.EmptyBitmap(tsize)
bmpfield = wx.StaticBitmap(self,-1,bmp) bmpfield = wx.StaticBitmap(self,-1,bmp)
grid.Add(bmpfield,(ypos,0),(1,1),wx.ALIGN_CENTER_VERTICAL) grid.Add(bmpfield,(ypos,0),(1,1),wx.ALIGN_CENTER_VERTICAL|wx.ALL,10)
# protocol, role, label # protocol, role, label
prot = str(cl.protocol) prot = str(cl.protocol)
@ -327,7 +328,7 @@ class ResultWindow(wx.Frame):
n = len(cl.attacks) n = len(cl.attacks)
cl.button = wx.Button(self,-1,"%i %s" % (n,cl.stateName(n))) cl.button = wx.Button(self,-1,"%i %s" % (n,cl.stateName(n)))
cl.button.claim = cl cl.button.claim = cl
grid.Add(cl.button,(ypos,5),(1,1),wx.ALIGN_CENTER_VERTICAL) grid.Add(cl.button,(ypos,5),(1,1),wx.ALIGN_CENTER_VERTICAL|wx.ALL,1)
cl.button.Disable() cl.button.Disable()
if n > 0: if n > 0:
# Aha, something to show # Aha, something to show