diff options
| author | aarne <unknown> | 2003-09-25 12:01:34 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-09-25 12:01:34 +0000 |
| commit | a6a7abe6f69ae507d8eb110d1fb3b6453680a475 (patch) | |
| tree | 1ac5380688b5c796afee0a905a66ad2428ad5bc9 /src/GF/Shell/Commands.hs | |
| parent | 49f6288350a722837a316f86d1442c59d7ea8fc8 (diff) | |
Marked modif place on line 414.
Diffstat (limited to 'src/GF/Shell/Commands.hs')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs index 2f7efa517..ecdc65ab4 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -403,7 +403,7 @@ displaySStateJavaX env state = unlines $ tagXML "gfedit" $ concat [ lgrs = allStateGrammarsWithNames env --- allActiveStateGrammarsWithNames env lins = (langAbstract, exp) : linAll opts = addOptions (optsSState state) -- state opts override - (addOption (markLin markOptJava) (globalOptions env)) + (addOption (markLin mark) (globalOptions env)) lin (n,gr) = (n, map uni $ linearizeState noWrap opts gr zipper) where uni = optEncodeUTF8 n gr . mkUnicode exp = prprTree $ loc2tree zipper @@ -411,6 +411,7 @@ displaySStateJavaX env state = unlines $ tagXML "gfedit" $ concat [ zipper = stateSState state linAll = map lin lgrs gr = firstStateGrammar env + mark = markOptJava -- to be: markOptXML langAbstract = language "Abstract" langXML = language "XML" |