summaryrefslogtreecommitdiff
path: root/src/GF/Shell/ShellCommands.hs
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2005-12-13 21:03:56 +0000
committerbringert <bringert@cs.chalmers.se>2005-12-13 21:03:56 +0000
commit5a480fac520db1bab6f1336bee9b2031dbd36cab (patch)
tree01210f87844268c0652867df51f4831094fa3e17 /src/GF/Shell/ShellCommands.hs
parent9f867c4922cccb6e61b273a55103e2afaeac4bde (diff)
Added semi-working speech_input command.
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
-rw-r--r--src/GF/Shell/ShellCommands.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index bf7d4f1ff..27e027c50 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -65,6 +65,7 @@ data Command =
| CWriteFile FilePath
| CAppendFile FilePath
| CSpeakAloud
+ | CSpeechInput
| CPutString
| CShowTerm
| CSystemCommand String
@@ -197,6 +198,8 @@ optionsOfCommand co = case co of
CWriteFile _ -> none
CAppendFile _ -> none
CSpeakAloud -> flags "language"
+ CSpeechInput -> flags "lang cat language number"
+
CPutString -> both "utf8" "filter length"
CShowTerm -> flags "printer"
CShowTreeGraph -> opts "c f g o"