diff options
| author | aarne <unknown> | 2004-08-12 12:21:23 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-12 12:21:23 +0000 |
| commit | a12bf94035475dc27e21a769f7622e91b3989ced (patch) | |
| tree | a5558073b4fb64febf9743faccbe02142a12cc14 /src/GF/Shell | |
| parent | 0926a6aa53e52de8b28dc46f59d382a82780e3b3 (diff) | |
utf8
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/JGF.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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 |