GTK: fix closing tabs via [Control]+w when tab was switched

This commit is contained in:
Julian Ospald 2016-06-03 22:34:49 +02:00
parent e4bb5104e8
commit 1fec2983bd
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28

View File

@ -45,7 +45,6 @@ import Paths_hsfm
-- |Set up the GUI. This only creates the permanent widgets. -- |Set up the GUI. This only creates the permanent widgets.
createMyGUI :: IO MyGUI createMyGUI :: IO MyGUI
createMyGUI = do createMyGUI = do
let settings' = MkFMSettings False True 24 let settings' = MkFMSettings False True 24
settings <- newTVarIO settings' settings <- newTVarIO settings'
operationBuffer <- newTVarIO None operationBuffer <- newTVarIO None
@ -85,6 +84,10 @@ createMyGUI = do
notebook <- builderGetObject builder castToNotebook notebook <- builderGetObject builder castToNotebook
"notebook" "notebook"
-- this is required so that hotkeys work as expected, because
-- we then can connect to signals from `viewBox` more reliably
widgetSetCanFocus notebook False
-- construct the gui object -- construct the gui object
let menubar = MkMenuBar {..} let menubar = MkMenuBar {..}
let fprop = MkFilePropertyGrid {..} let fprop = MkFilePropertyGrid {..}