GUI: instantly redraw for enabling checkboxes and other stuff
This commit is contained in:
parent
b6aa9d9086
commit
869cbd0af3
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user