From 1142d18a08cb8b9b96aefbd52fdadb05cb1982c7 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 13 Aug 2004 20:46:54 +0000
Subject: -s

---
 src/GF/Shell/JGF.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF/Shell/JGF.hs')

diff --git a/src/GF/Shell/JGF.hs b/src/GF/Shell/JGF.hs
index f1ed6bfb7..916d0fafd 100644
--- 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
-- 
cgit v1.2.3