diff options
| author | aarne <unknown> | 2003-11-10 15:16:28 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 15:16:28 +0000 |
| commit | a931676d902033fdef17e7e086c40f5c753e9844 (patch) | |
| tree | 1a66aa622a378c2b36d718387d8662e25150c3b9 /src/GF/Shell/JGF.hs | |
| parent | 7a44450b34f80b156b8d663d3310e33aa7519910 (diff) | |
flags
Diffstat (limited to 'src/GF/Shell/JGF.hs')
| -rw-r--r-- | src/GF/Shell/JGF.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Shell/JGF.hs b/src/GF/Shell/JGF.hs index 215ad3e3e..93c0868ac 100644 --- a/src/GF/Shell/JGF.hs +++ b/src/GF/Shell/JGF.hs @@ -51,6 +51,7 @@ welcome = initEditMsgJavaX env = encodeUTF8 $ 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)] |