From be0fce32fc99b26a3ae4e208fb2a244f441f3212 Mon Sep 17 00:00:00 2001 From: defanor Date: Fri, 15 Dec 2017 17:17:57 +0300 Subject: Add the "redisplay" command --- Pancake/Command.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Pancake/Command.hs') diff --git a/Pancake/Command.hs b/Pancake/Command.hs index 5126146..4c34a19 100644 --- a/Pancake/Command.hs +++ b/Pancake/Command.hs @@ -61,6 +61,7 @@ data Command = Quit | Shortcut String String | ReloadConfig | SetWidth (Maybe Int) + | Redisplay deriving (Show, Eq) -- | Parses a user command. @@ -77,6 +78,7 @@ basicCommand = choice . map (\(s, c) -> try (string s <* eof) *> pure c) $ , ("reload config", ReloadConfig) , ("help", Help) , ("?", ShowCurrent) + , ("redisplay", Redisplay) , ("", More)] -- | Link number parser. -- cgit v1.2.3