From fdddeca0d08ba68b564b14359ef9b4a697cdb636 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 29 Jan 2004 12:03:23 +0000
Subject: Improving unicode menus, e.g. in Letter.

---
 src/GF/Shell/Commands.hs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/GF/Shell/Commands.hs')

diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs
index 32c496893..19148c1bc 100644
--- a/src/GF/Shell/Commands.hs
+++ b/src/GF/Shell/Commands.hs
@@ -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"
 
-- 
cgit v1.2.3