diff options
Diffstat (limited to 'src/GF/Shell/CommandL.hs')
| -rw-r--r-- | src/GF/Shell/CommandL.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Shell/CommandL.hs b/src/GF/Shell/CommandL.hs index d1ba0f7ba..d470130ab 100644 --- a/src/GF/Shell/CommandL.hs +++ b/src/GF/Shell/CommandL.hs @@ -78,9 +78,9 @@ pCommand = pCommandWords . words where "c" : s : _ -> CTermCommand s "a" : _ -> CRefineRandom --- *a*leatoire "m" : _ -> CMenu ----- "ml" : s : _ -> changeMenuLanguage s ----- "ms" : s : _ -> changeMenuSize s ----- "mt" : s : _ -> changeMenuTyped s + "ml" : s : _ -> changeMenuLanguage s + "ms" : s : _ -> changeMenuSize s + "mt" : s : _ -> changeMenuTyped s "v" : _ -> CView "q" : _ -> CQuit "h" : _ -> CHelp initEditMsg |