GUI: don't redraw instantly on scaling point thickness

It broke performance.
2014-10-12 03:15:34 +02:00 · 2014-10-12 03:15:34 +02:00 · 393d37d1a9
parent e91fb6cd1e
commit 393d37d1a9
1 changed files with 0 additions and 1 deletions
--- 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