From a931676d902033fdef17e7e086c40f5c753e9844 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 10 Nov 2003 15:16:28 +0000 Subject: flags --- src/GF/Shell/JGF.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/GF/Shell') 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)] -- cgit v1.2.3