@@ -7,7 +7,6 @@ import Control.Applicative hiding ((<|>))
7import Control.Arrow
7import Control.Arrow
8import Control.Monad.RWS
8import Control.Monad.RWS
10−import Data.Default (def)
11import Data.Sequence (Seq, (<|) )
10import Data.Sequence (Seq, (<|) )
12import qualified Data.Sequence as Seq
11import qualified Data.Sequence as Seq
13import Data.Foldable
12import Data.Foldable
@@ -18,8 +17,8 @@ type App = RWST Vty () (Seq String) IO
20 vty <- if True -- change to false for emacs-like input processing
19 vty <- if True -- change to false for emacs-like input processing
21− then mkVty def
20+ then mkVty defaultConfig
22− else mkVty (def { vmin = Just 2, vtime = Just 300 } )
21+ else mkVty (defaultConfig { vmin = Just 2, vtime = Just 300 } )
23 _ <- execRWST (vtyInteract False) vty Seq.empty
22 _ <- execRWST (vtyInteract False) vty Seq.empty
24 shutdown vty
23 shutdown vty