From 3b39607bbac8e6ab99198ab608f14e1f84c2f60e Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 24 Jun 2004 14:06:09 +0000 Subject: last-minute bug fixes --- src/GF/Shell/CommandL.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/GF/Shell/CommandL.hs') diff --git a/src/GF/Shell/CommandL.hs b/src/GF/Shell/CommandL.hs index 5945dd271..36e8a5a6d 100644 --- a/src/GF/Shell/CommandL.hs +++ b/src/GF/Shell/CommandL.hs @@ -20,7 +20,7 @@ import UTF8 initEditLoop :: CEnv -> IO () -> IO () initEditLoop env resume = do - let env' = addGlobalOptions (options [sizeDisplay "short"]) env + let env' = startEditEnv env putStrLnFlush $ initEditMsg env' let state = initSStateEnv env' putStrLnFlush $ showCurrentState env' state @@ -113,7 +113,9 @@ pCommand = pCommandWords . words where -- well, this lists the commands of the line-based editor initEditMsg env = unlines $ "State-dependent editing commands are given in the menu:" : - " n = new, r = refine, w = wrap, d = delete, s = select." : + " n [Cat] = new, r [Fun] = refine, w [Fun] [Int] = wrap,": + " ch [Fun] = change head, d = delete, s [Int] = select," : + " x [Var] [Var] = alpha convert." : "Commands changing the environment:" : " i [file] = import, e = empty." : "Other commands:" : -- cgit v1.2.3