diff --git a/gui/Gui/About.py b/gui/Gui/About.py
index 457316b..7ebd7ab 100644
--- a/gui/Gui/About.py
+++ b/gui/Gui/About.py
@@ -5,6 +5,7 @@
""" Import externals """
import wx
import wx.html
+import os.path
#---------------------------------------------------------------------------
@@ -12,15 +13,19 @@ import wx.html
#---------------------------------------------------------------------------
+""" Globals """
+
+basedir = ""
+
+#---------------------------------------------------------------------------
+
class AboutScyther(wx.Dialog):
- text = '''
+ def __init__(self,parent,mybasedir=None):
+ self.text = '''
-
- Scyther
- Version 1.0-beta 6
-
-
+ 
+ Scyther : $VERSION
Scyther is an automatic tool for the verification and
falsification of security protocols.
@@ -31,28 +36,39 @@ class AboutScyther(wx.Dialog):
For news and updates visit the Scyther pages at
- http://people.inf.ethz.ch/cremersc/scyther/index.html
+
+ http://people.inf.ethz.ch/cremersc/scyther/index.html
Credits: Cas Cremers (Scyther theory, backend, and main GUI
- code), Gijs Hollestelle (Python wrapper for Scyther XML output).
+ code), Gijs Hollestelle (Python parser for Scyther XML output).
-
-'''
+ '''
+
+ if mybasedir:
+ basedir = mybasedir
+
+ splashdir = os.path.join(basedir,"Images")
+ splashimage = os.path.join(splashdir,"scyther-splash.png")
+ self.text = self.text.replace("$SPLASH",splashimage)
+
+ # version information
+ self.text = self.text.replace("$VERSION", "1.0-beta6")
- def __init__(self,parent):
wx.Dialog.__init__(self, parent, -1, 'About Scyther',
- size=(400,300))
+ size=(660,620))
html = wx.html.HtmlWindow(self)
- if "gtk2" in wx.PlatformInfo:
- html.SetStandardFonts()
+ #if "gtk2" in wx.PlatformInfo:
+ # html.SetStandardFonts()
+ html.SetBorders(10)
html.SetPage(self.text)
- button = wx.Button(self, wx.ID_OK, "Okay")
+ button = wx.Button(self, wx.ID_OK, "Close window")
sizer = wx.BoxSizer(wx.VERTICAL)
- sizer.Add(html, 1, wx.EXPAND|wx.ALL,5)
+ sizer.Add(html, 1, wx.EXPAND|wx.ALL,0)
sizer.Add(button,0,wx.ALIGN_CENTER|wx.ALL,5)
self.SetSizer(sizer)
self.Layout()
+# vim: set ts=4 sw=4 et list lcs=tab\:>-:
diff --git a/gui/Images/scyther-splash.png b/gui/Images/scyther-splash.png
new file mode 100644
index 0000000..818997c
Binary files /dev/null and b/gui/Images/scyther-splash.png differ
diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py
index c34f60d..f04bd09 100755
--- a/gui/scyther-gui.py
+++ b/gui/scyther-gui.py
@@ -127,7 +127,7 @@ class ScytherApp(wx.App):
self.mainWindow.Show()
if isSplashNeeded(opts):
- dlg = About.AboutScyther(self.mainWindow)
+ dlg = About.AboutScyther(self.mainWindow,basedir)
dlg.ShowModal()
dlg.Destroy()
@@ -144,4 +144,4 @@ if __name__ == '__main__':
scythergui = ScytherApp()
scythergui.MainLoop()
-
+# vim: set ts=4 sw=4 et list lcs=tab\:>-: