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

- Fixes.

Browse Source
This commit is contained in:
ccremers 2006-08-07 16:25:47 +00:00
parent 3cd37d25f6
commit ffafe946cf
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gui/Mainwindow.py
View File

@ -270,7 +270,7 @@ class SettingsWindow(wx.Panel):
# Bound on the number of runs # Bound on the number of runs
self.maxruns = int(Preference.get('maxruns','5')) self.maxruns = int(Preference.get('maxruns','5'))
r1 = wx.StaticText(self,-1,"Maximum number of runs (0 disables bound)") r1 = wx.StaticText(self,-1,"Maximum number of runs (0 disables bound)")
l1 = wx.SpinCtrl(self, -1, "",size=(150,-1)) l1 = wx.SpinCtrl(self, -1, "",style=wx.RIGHT)
l1.SetRange(0,100) l1.SetRange(0,100)
l1.SetValue(self.maxruns) l1.SetValue(self.maxruns)
self.Bind(wx.EVT_SPINCTRL,self.EvtRuns,l1) self.Bind(wx.EVT_SPINCTRL,self.EvtRuns,l1)
@ -279,8 +279,8 @@ class SettingsWindow(wx.Panel):
self.match = int(Preference.get('match','0')) self.match = int(Preference.get('match','0'))
claimoptions = ['typed matching','find basic type flaws','find all type flaws'] claimoptions = ['typed matching','find basic type flaws','find all type flaws']
r2 = wx.StaticText(self,-1,"Matching type") r2 = wx.StaticText(self,-1,"Matching type")
l2 = wx.RadioBox(self, -1, "", #l2 = wx.RadioBox(self, -1, "", wx.DefaultPosition,wx.DefaultSize,claimoptions,1,wx.RA_SPECIFY_COLS)
wx.DefaultPosition,wx.DefaultSize,claimoptions,1,wx.RA_SPECIFY_COLS) l2 = self.ch = wx.Choice(self,-1,choices=claimoptions)
l2.SetSelection(self.match) l2.SetSelection(self.match)
self.Bind(wx.EVT_RADIOBOX,self.EvtMatch,l2) self.Bind(wx.EVT_RADIOBOX,self.EvtMatch,l2)

2
gui/Scytherthread.py
View File

@ -281,7 +281,7 @@ class ResultWindow(wx.Frame):
for index in range(0,len(claims)): for index in range(0,len(claims)):
self.BuildClaim(grid,claims[index],index+1) self.BuildClaim(grid,claims[index],index+1)
sizer.Add(grid, 0,wx.ALIGN_CENTRE|wx.ALL,5) sizer.Add(grid, 0,wx.ALIGN_CENTER|wx.ALL,5)
self.SetSizer(sizer) self.SetSizer(sizer)
sizer.Fit(self) sizer.Fit(self)