From ca280d8d31bd00f9ce19782d0a4761654d04a1c3 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 12 Aug 2004 18:29:35 +0000
Subject: (non)utf8 input in GUI

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

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

diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs
index 5a16c4b59..e96ebd588 100644
--- a/src/GF/Shell/Commands.hs
+++ b/src/GF/Shell/Commands.hs
@@ -441,6 +441,15 @@ displaySStateJavaX isNew env state = encodeUTF8 $ mkUnicode $
     Just lang -> optDecodeUTF8 (stateGrammarOfLang env (language lang)) 
     _ -> id
 
+-- the env is UTF8 if the display language is 
+--- should be independent
+isCEnvUTF8 :: CEnv -> SState -> Bool
+isCEnvUTF8 env st = maybe False id $ do
+   lang <- getOptVal opts menuDisplay
+   co   <- getOptVal (stateOptions (stateGrammarOfLang env (language lang))) uniCoding
+   return $ co == "utf8"
+  where
+    opts = addOptions (optsSState st) (globalOptions env)
 
 langAbstract = language "Abstract"
 langXML      = language "XML"
-- 
cgit v1.2.3