From a6a7abe6f69ae507d8eb110d1fb3b6453680a475 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 25 Sep 2003 12:01:34 +0000
Subject: Marked modif place on line 414.

---
 src/GF/Shell/Commands.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/GF/Shell')

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"
-- 
cgit v1.2.3