diff options
| author | aarne <unknown> | 2003-10-07 15:17:55 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-07 15:17:55 +0000 |
| commit | 889e5a92e4e0c40ab249f9f86d0fa2647132d87a (patch) | |
| tree | d9dd9687ee2d8a735b65f9b617f3f1a607666615 /src/GF/Shell/CommandL.hs | |
| parent | 0988010e33fabc02090490b4a562a53fa9a08780 (diff) | |
Updates for editor. Dummies for hugs.
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 |