diff options
| author | aarne <unknown> | 2005-03-10 10:14:10 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-03-10 10:14:10 +0000 |
| commit | 03b2d09e798ab8d200b788f5c97833098851ad98 (patch) | |
| tree | e2bca6a6f7d7ee574aa07b60924bf291c0a7a19d /src/GF/Shell/Commands.hs | |
| parent | 2bbc7418eb18f1cde6ad43142e64ef35dc8c05c5 (diff) | |
hmsg for Hajo's editor
Diffstat (limited to 'src/GF/Shell/Commands.hs')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs index 7dc93a4fe..03cd7cbe2 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/02/24 11:46:36 $ --- > CVS $Author: peb $ --- > CVS $Revision: 1.35 $ +-- > CVS $Date: 2005/03/10 11:14:11 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.36 $ -- -- temporary hacks for GF 2.0 -- @@ -449,9 +449,10 @@ displaySStateIn env state = (tree',msg,menu) where separ = singleton . map unlines . intersperse [replicate 72 '*'] -- | the Boolean is a temporary hack to have two parallel GUIs -displaySStateJavaX :: Bool -> CEnv -> SState -> String -displaySStateJavaX isNew env state = encodeUTF8 $ mkUnicode $ - unlines $ tagXML "gfedit" $ concat [ +displaySStateJavaX :: Bool -> CEnv -> SState -> String -> String +displaySStateJavaX isNew env state m = encodeUTF8 $ mkUnicode $ + unlines $ tagXML "gfedit" $ concat [ + if null m then [] else tagXML "hmsg" [m], tagXML "linearizations" (concat [tagAttrXML "lin" ("lang", prLanguage lang) ss | (lang,ss) <- lins]), tagXML "tree" tree, |