From f807f76211d0901a7a462ab1ee0a6b60ca1ce207 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 26 Jan 2004 08:39:52 +0000
Subject: Improved unicode output.

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

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

diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs
index 00d8d176b..e1c0736ab 100644
--- a/src/GF/Shell/Commands.hs
+++ b/src/GF/Shell/Commands.hs
@@ -414,7 +414,7 @@ displaySStateJavaX isNew env state = unlines $ tagXML "gfedit" $ concat [
   opts   = addOptions (optsSState state)   -- state opts override 
               (addOption (markLin mark) (globalOptions env))
   lin (n,gr) = (n, map uni $ linearizeState noWrap opts gr zipper) where
-                  uni = optEncodeUTF8 gr . mkUnicode
+                  uni = {- optEncodeUTF8 gr . -} mkUnicode
   exp    = prprTree $ loc2tree zipper
   zipper = stateSState state
   linAll = map lin lgrs
-- 
cgit v1.2.3