From 393d37d1a987b655ff962f848a77d6a2cc2b80b1 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Sun, 12 Oct 2014 03:15:34 +0200
Subject: [PATCH] GUI: don't redraw instantly on scaling point thickness

It broke performance.
---
 GUI/Gtk.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/GUI/Gtk.hs b/GUI/Gtk.hs
index 432948b..f63afa6 100644
--- a/GUI/Gtk.hs
+++ b/GUI/Gtk.hs
@@ -120,7 +120,6 @@ makeGUI startFile = do
   _ <- on (cB mygui) changed (drawDiag mygui)
   _ <- on (gC mygui) toggled (drawDiag mygui)
   _ <- on (cC mygui) toggled (drawDiag mygui)
-  _ <- on (hs mygui) valueChanged (drawDiag mygui)
 
   -- hotkeys
   _ <- win mygui `on` keyPressEvent $ tryEvent $ do