diff options
| author | aarne <unknown> | 2004-01-28 12:42:20 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-01-28 12:42:20 +0000 |
| commit | 1ca54cca208876f83014119da55e747d5342b434 (patch) | |
| tree | 63413b08d9e26f3a55f82c2da9dcb0c5eef1d06d /src/GF/API.hs | |
| parent | 1b002dec90ce2b080301f54a8f84a91ca6669879 (diff) | |
Unicode. Batch transl into HTML.
Diffstat (limited to 'src/GF/API.hs')
| -rw-r--r-- | src/GF/API.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/GF/API.hs b/src/GF/API.hs index 7053a1b67..7c708c933 100644 --- a/src/GF/API.hs +++ b/src/GF/API.hs @@ -304,3 +304,8 @@ optEncodeUTF8 gr = case getOptVal (stateOptions gr) uniCoding of Just "utf8" -> id _ -> encodeUTF8 +optDecodeUTF8 :: GFGrammar -> String -> String +optDecodeUTF8 gr = case getOptVal (stateOptions gr) uniCoding of + Just "utf8" -> decodeUTF8 + _ -> id + |