From 6ed32d0f4c667db6176189dac32caa250ec333c4 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 27 Feb 2012 11:52:33 +0100
Subject: [PATCH] BUGFIX: Fixed overzealous deletion in init scripts and fixed
 reference to removed SetBinDir.

---
 gui/Scyther/__init__.py | 7 +++++++
 gui/scyther-gui.py      | 4 ----
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/gui/Scyther/__init__.py b/gui/Scyther/__init__.py
index 912e9f7..e297957 100644
--- a/gui/Scyther/__init__.py
+++ b/gui/Scyther/__init__.py
@@ -20,3 +20,10 @@
 #
 #   Init this module
 #
+#   Set prefix for __all__
+#
+import Scyther
+
+#   Provide scope
+__all__ = ["Scyther"]
+
diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py
index ac3a55c..9f87346 100755
--- a/gui/scyther-gui.py
+++ b/gui/scyther-gui.py
@@ -143,10 +143,6 @@ class ScytherApp(wx.App):
         # Load preferences file
         Preference.init()
 
-        # Init Scyther libs from preferences
-        bindir = Preference.get("bindir",Scyther.getBinDir())
-        Scyther.setBinDir(bindir)
-
         #"""
         #Create and show the splash screen.  It will then create and show
         #the main frame when it is time to do so.