summaryrefslogtreecommitdiffstats
path: root/Pancake/Command.hs
diff options
context:
space:
mode:
authordefanor <defanor@uberspace.net>2017-12-15 17:17:57 +0300
committerdefanor <defanor@uberspace.net>2017-12-15 17:50:38 +0300
commitbe0fce32fc99b26a3ae4e208fb2a244f441f3212 (patch)
tree1687c19c627610ef096efb40c27f5746b64bf9bc /Pancake/Command.hs
parenta6c75aeb7ab8a7a9879aa5b1e17ffec4c18d446a (diff)
downloadpancake-be0fce32fc99b26a3ae4e208fb2a244f441f3212.zip
pancake-be0fce32fc99b26a3ae4e208fb2a244f441f3212.tar.gz
pancake-be0fce32fc99b26a3ae4e208fb2a244f441f3212.tar.bz2
Add the "redisplay" command
Diffstat (limited to 'Pancake/Command.hs')
-rw-r--r--Pancake/Command.hs2
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.