From 77621fae0b5c7f3d4d989f35c9e52a6cae406ebe Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 9 Aug 2006 09:41:14 +0000 Subject: [PATCH] - Reinstated buttons. --- gui/Gui/Mainwindow.py | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/gui/Gui/Mainwindow.py b/gui/Gui/Mainwindow.py index 3d4fcee..82357c9 100644 --- a/gui/Gui/Mainwindow.py +++ b/gui/Gui/Mainwindow.py @@ -110,8 +110,6 @@ class MainWindow(wx.Frame): tb = self.CreateToolBar(wx.TB_HORIZONTAL #| wx.NO_BORDER #| wx.TB_FLAT - | wx.TB_TEXT - | wx.TB_NOICONS ) #print "Default toolbar tool size: %s\n" % tb.GetToolBitmapSize() @@ -168,12 +166,12 @@ class MainWindow(wx.Frame): [(ID_VERIFY, '&Verify protocol\tF1','Verify the protocol in the buffer using Scyther', self.OnVerify) , (ID_STATESPACE, 'Generate &statespace\tF2','TODO' , - self.OnAutoVerify) , + self.OnStatespace) , (None, None, None, None), (ID_CHECK, '&Check protocol\tF5','TODO', - self.OnStatespace) , + self.OnCheck) , (ID_AUTOVERIFY, 'Verify &automatic claims\tF6','TODO', - self.OnCheck) + self.OnAutoVerify) ]) self.CreateMenu(menuBar, '&Help', [(wx.ID_ABOUT, '&About', 'Information about this program',