GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-11 13:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Improving unicode menus, e.g. in Letter.

Browse Source
This commit is contained in:
aarne
2004-01-29 12:03:23 +00:00
parent 59c031c2f0
commit eb82e5960e
10 changed files with 1224 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/GF/Shell/Commands.hs
View File

@@ -409,7 +409,7 @@ displaySStateJavaX isNew env state = encodeUTF8 $ mkUnicode $
]
where
(tree,msg,menu) = displaySState env state
menu' = [tagXML "show" [s] ++ tagXML "send" [c] | (s,c) <- menu]
menu' = [tagXML "show" [unicode s] ++ tagXML "send" [c] | (s,c) <- menu]
(ls,grs) = unzip $ lgrs
lgrs = allActiveStateGrammarsWithNames env
lins = (langAbstract, exp) : linAll
@@ -423,6 +423,11 @@ displaySStateJavaX isNew env state = encodeUTF8 $ mkUnicode $
gr = firstStateGrammar env
mark = markOptXML -- markOptJava
unicode = case getOptVal opts menuDisplay of
Just lang -> optDecodeUTF8 (stateGrammarOfLang env (language lang))
_ -> id
langAbstract = language "Abstract"
langXML = language "XML"