From ffafe946cf0724209fa95f1a7d313a625a6f161d Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 7 Aug 2006 16:25:47 +0000 Subject: [PATCH] - Fixes. --- gui/Mainwindow.py | 6 +++--- gui/Scytherthread.py | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/gui/Mainwindow.py b/gui/Mainwindow.py index bf31211..54b94f9 100644 --- a/gui/Mainwindow.py +++ b/gui/Mainwindow.py @@ -270,7 +270,7 @@ class SettingsWindow(wx.Panel): # Bound on the number of runs self.maxruns = int(Preference.get('maxruns','5')) 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.SetValue(self.maxruns) self.Bind(wx.EVT_SPINCTRL,self.EvtRuns,l1) @@ -279,8 +279,8 @@ class SettingsWindow(wx.Panel): self.match = int(Preference.get('match','0')) claimoptions = ['typed matching','find basic type flaws','find all type flaws'] r2 = wx.StaticText(self,-1,"Matching type") - l2 = wx.RadioBox(self, -1, "", - wx.DefaultPosition,wx.DefaultSize,claimoptions,1,wx.RA_SPECIFY_COLS) + #l2 = wx.RadioBox(self, -1, "", wx.DefaultPosition,wx.DefaultSize,claimoptions,1,wx.RA_SPECIFY_COLS) + l2 = self.ch = wx.Choice(self,-1,choices=claimoptions) l2.SetSelection(self.match) self.Bind(wx.EVT_RADIOBOX,self.EvtMatch,l2) diff --git a/gui/Scytherthread.py b/gui/Scytherthread.py index 82e6539..974977c 100644 --- a/gui/Scytherthread.py +++ b/gui/Scytherthread.py @@ -281,7 +281,7 @@ class ResultWindow(wx.Frame): for index in range(0,len(claims)): 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) sizer.Fit(self)