Improved unicode output.

2026-05-03 08:12:51 -06:00 · 2004-01-26 08:39:52 +00:00
parent 7362e70af9
commit f807f76211
6 changed files with 39 additions and 28 deletions
--- 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