diff options
| author | aarne <unknown> | 2004-03-26 20:08:30 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-03-26 20:08:30 +0000 |
| commit | 6719aedde34c3a4f0ccb78931968c6fe490b3282 (patch) | |
| tree | 489e96a556d27ba87474c4ce89e3757a17ececb4 /src/GF/Shell/PShell.hs | |
| parent | 2433403b6247022ac56133ca935307868fcef6b9 (diff) | |
Better help.
Diffstat (limited to 'src/GF/Shell/PShell.hs')
| -rw-r--r-- | src/GF/Shell/PShell.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs index f890a8dcf..0157112c8 100644 --- a/src/GF/Shell/PShell.hs +++ b/src/GF/Shell/PShell.hs @@ -104,7 +104,8 @@ pCommand ws = case ws of "pm" : [] -> aUnit CPrintMultiGrammar "po" : [] -> aUnit CPrintGlobalOptions "pl" : [] -> aUnit CPrintLanguages - "h" : [] -> aUnit CHelp + "h" : c : [] -> aUnit $ CHelp (Just (abbrevCommand c)) + "h" : [] -> aUnit $ CHelp Nothing "q" : [] -> aImpure ICQuit "eh" : f : [] -> aImpure (ICExecuteHistory f) |