diff options
| author | aarne <unknown> | 2004-01-26 08:39:52 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-01-26 08:39:52 +0000 |
| commit | f807f76211d0901a7a462ab1ee0a6b60ca1ce207 (patch) | |
| tree | efccf688ffc1498fbaeae5b6f5f596b5da330244 /src/GF/Shell/Commands.hs | |
| parent | 7362e70af9bae99dc0af5e1460f5d5c00db86145 (diff) | |
Improved unicode output.
Diffstat (limited to 'src/GF/Shell/Commands.hs')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |