diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py index 59fdd00..f76b318 100755 --- a/gui/scyther-gui.py +++ b/gui/scyther-gui.py @@ -19,23 +19,12 @@ """ -#--------------------------------------------------------------------------- - -""" Import externals """ -import sys - -#--------------------------------------------------------------------------- - -""" Import scyther-gui components """ -from Gui import About,Preference,Mainwindow -from Scyther import Scyther,Misc - #--------------------------------------------------------------------------- # Try to get wxPython try: import wx except ImportError: - + from Scyther import Misc Misc.panic(""" ERROR: @@ -51,13 +40,20 @@ Note that you can still use the Scyther binaries in the 'Scyther' directory. """) #--------------------------------------------------------------------------- - +""" import externals """ +import sys import os from optparse import OptionParser, SUPPRESS_HELP from subprocess import * #--------------------------------------------------------------------------- +""" Import scyther-gui components """ +from Scyther import Scyther,Misc +from Gui import About,Preference,Mainwindow + +#--------------------------------------------------------------------------- + def parseArgs(): usage = "usage: %s [options] [inputfile]" % sys.argv[0] description = "scyther-gui is a graphical user interface for the scyther protocol verification tool."