From 84bfeb27e0129bcc375836e8c833a8b6d343e336 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Sun, 16 Nov 2014 00:29:07 +0100
Subject: [PATCH] GUI: hide the tree window if a different algo is chosen

---
 GUI/Gtk.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/GUI/Gtk.hs b/GUI/Gtk.hs
index b61433c..279ee8d 100644
--- a/GUI/Gtk.hs
+++ b/GUI/Gtk.hs
@@ -189,7 +189,9 @@ onAlgoBoxChange mygui = do
     then do
       widgetShow (vbox7 mygui)
       widgetShow (treeWin mygui)
-    else widgetHide (vbox7 mygui)
+    else do
+      widgetHide (vbox7 mygui)
+      widgetHide (treeWin mygui)
   return ()