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

- Some reshuffling should restore matters.

Browse Source
This commit is contained in:
ccremers 2006-08-08 17:04:26 +00:00
parent 6f59760a70
commit e14d165816
4 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
gui/bin/Scyther.exe → gui/Scyther/Scyther.exe
View File

4
gui/Scyther/Scyther.py
View File

@ -26,12 +26,12 @@ class Scyther(object):
if sys.platform.startswith('win'): if sys.platform.startswith('win'):
""" Windows """ """ Windows """
# TODO hardcoded for now, bad # TODO hardcoded for now, bad
self.program = os.path.join("bin","Scyther.exe") self.program = "Scyther.exe"
if not os.path.isfile(self.program): if not os.path.isfile(self.program):
print "I can't find the Scyther executable at %s" % (self.program) print "I can't find the Scyther executable at %s" % (self.program)
else: else:
""" Non-windows """ """ Non-windows """
self.program = os.path.join("bin","scyther") self.program = "scyther"
# Init # Init
self.spdl = None self.spdl = None

0
gui/bin/scyther → gui/Scyther/scyther
View File

3
gui/scyther-gui.py
View File

@ -5,6 +5,7 @@
""" Import externals """ """ Import externals """
import wx import wx
import sys import sys
import os
from optparse import OptionParser, SUPPRESS_HELP from optparse import OptionParser, SUPPRESS_HELP
#--------------------------------------------------------------------------- #---------------------------------------------------------------------------
@ -41,7 +42,7 @@ def parseArgs():
class MySplashScreen(wx.SplashScreen): class MySplashScreen(wx.SplashScreen):
def __init__(self): def __init__(self):
bmp = wx.Image(Misc.mypath("images/scyther-splash.png")).ConvertToBitmap() bmp = wx.Image(os.path.join("images","scyther-splash.png")).ConvertToBitmap()
wx.SplashScreen.__init__(self, bmp, wx.SplashScreen.__init__(self, bmp,
wx.SPLASH_CENTRE_ON_SCREEN | wx.SPLASH_TIMEOUT, wx.SPLASH_CENTRE_ON_SCREEN | wx.SPLASH_TIMEOUT,
5000, None, -1) 5000, None, -1)