diff options
| author | aarne <unknown> | 2003-11-10 14:57:51 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 14:57:51 +0000 |
| commit | 7a44450b34f80b156b8d663d3310e33aa7519910 (patch) | |
| tree | 155a6c5163c0076e4c6e1ed4ba5fdc2898deced5 /src/GF/Shell | |
| parent | c84ce99de2e9a17e2413f2f81cae0088170cc3b9 (diff) | |
Lin to tables.
Lin to tables.
New unicode flag.
Diffstat (limited to 'src/GF/Shell')
| -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 42a4f013c..8be8b576e 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -426,7 +426,7 @@ displaySStateJavaX 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 n gr . mkUnicode + uni = optEncodeUTF8 gr . mkUnicode exp = prprTree $ loc2tree zipper zipper = stateSState state linAll = map lin lgrs |