From 7a44450b34f80b156b8d663d3310e33aa7519910 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 10 Nov 2003 14:57:51 +0000 Subject: Lin to tables. Lin to tables. New unicode flag. --- src/GF/Shell/Commands.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Shell') 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 -- cgit v1.2.3