From 869cbd0af3938ff216912d3f032082a88dfc4655 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Sat, 11 Oct 2014 00:02:06 +0200
Subject: [PATCH] GUI: instantly redraw for enabling checkboxes and other stuff

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

diff --git a/GUI/Gtk.hs b/GUI/Gtk.hs
index a815840..6207119 100644
--- a/GUI/Gtk.hs
+++ b/GUI/Gtk.hs
@@ -117,6 +117,10 @@ makeGUI startFile = do
   -- have to redraw for window overlapping and resizing on expose
   _ <- onExpose (da mygui) (\_ -> onClickedDrawButton mygui >>=
                              (\_ -> return True))
+  _ <- on (cB mygui) changed (onClickedDrawButton mygui)
+  _ <- on (gC mygui) toggled (onClickedDrawButton mygui)
+  _ <- on (cC mygui) toggled (onClickedDrawButton mygui)
+  _ <- on (hs mygui) valueChanged (onClickedDrawButton mygui)
 
   -- hotkeys
   _ <- win mygui `on` keyPressEvent $ tryEvent $ do