- Better path handling.

gui/Scyther/Scyther.py

@@ -24,7 +24,7 @@ bindir="."
 
 #---------------------------------------------------------------------------
 
-def init(dir):
+def setBinDir(dir):
     global bindir
 
     bindir = dir

gui/Scyther/__init__.py

@@ -6,4 +6,4 @@
 #
 import Scyther
 
-Scyther.init(__path__[0])
+Scyther.setBinDir(__path__[0])

gui/scyther-gui.py

@@ -82,9 +82,9 @@ class ScytherApp(wx.App):
         # Load preferences file
         Preference.init()
 
-        # Init Scyther libs
+        # Init Scyther libs from preferences
         bindir = Preference.get("bindir",os.path.join(basedir,"Scyther"))
-        Scyther.init(bindir)
+        Scyther.setBinDir(bindir)
 
         """
         Create and show the splash screen.  It will then create and show