diff options
author | defanor <defanor@uberspace.net> | 2017-12-15 17:17:57 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-12-15 17:50:38 +0300 |
commit | be0fce32fc99b26a3ae4e208fb2a244f441f3212 (patch) | |
tree | 1687c19c627610ef096efb40c27f5746b64bf9bc /Pancake | |
parent | a6c75aeb7ab8a7a9879aa5b1e17ffec4c18d446a (diff) |
Add the "redisplay" command
Diffstat (limited to 'Pancake')
-rw-r--r-- | Pancake/Command.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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. |