-s

2004-08-13 20:46:54 +00:00
parent 18be5298f0
commit 71cef35bd7
6 changed files with 11 additions and 8 deletions
--- a/src/GF/Shell/JGF.hs
+++ b/src/GF/Shell/JGF.hs
@@ -21,7 +21,7 @@ import UTF8
 sessionLineJ :: Bool -> ShellState -> IO ()
 sessionLineJ isNew env = do
  putStrLnFlush $ initEditMsgJavaX env
-  let env' = addGlobalOptions (options [sizeDisplay "short"]) env
+  let env' = addGlobalOptions (options [sizeDisplay "short",beSilent]) env
  editLoopJnewX isNew env' (initSState)

 -- this is the real version, with XML