diff --git a/src/GF/Shell/JGF.hs b/src/GF/Shell/JGF.hs index 86a7d77fb..44b6aad2b 100644 --- a/src/GF/Shell/JGF.hs +++ b/src/GF/Shell/JGF.hs @@ -2,6 +2,7 @@ module JGF where import Operations import UseIO +import Unicode import IOGrammar import Option @@ -49,12 +50,12 @@ welcome = "An experimental GF Editor for Java." ++ "(c) Kristofer Johannisson, Janna Khegai, and Aarne Ranta 2002 under CNU GPL." -initEditMsgJavaX env = encodeUTF8 $ unlines $ tagXML "gfinit" $ +initEditMsgJavaX env = encodeUTF8 $ mkUnicode $ unlines $ tagXML "gfinit" $ tagsXML "newcat" [["n" +++ cat] | (_,cat) <- newCatMenu env] ++ tagXML "topic" [abstractName env] ++ tagXML "language" [prLanguage langAbstract] ++ concat [tagAttrXML "language" ("file",file) [prLanguage lang] | (file,lang) <- zip (allGrammarFileNames env) (allLanguages env)] -initAndEditMsgJavaX isNew env state = encodeUTF8 $ +initAndEditMsgJavaX isNew env state = initEditMsgJavaX env ++++ displaySStateJavaX isNew env state