diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-04-19 09:33:39 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-04-19 09:33:39 +0000 |
| commit | 0ab646fa2f2fa511a93dfea3a071b1daf0745dab (patch) | |
| tree | be3b676fce174daff6a23ac00b509da67d745a8b /src/GF/Shell | |
| parent | ccd51897664df4547f9649d1c7f1ffb92a35b43d (diff) | |
utf8 in editor
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/CommandL.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Shell/CommandL.hs b/src/GF/Shell/CommandL.hs index 0dc103e33..efb6460b4 100644 --- a/src/GF/Shell/CommandL.hs +++ b/src/GF/Shell/CommandL.hs @@ -76,12 +76,12 @@ getCommand = do s <- getLine return $ pCommand s --- | decodes UTF8 if u==False, i.e. if the grammar does not use UTF8; +-- | decodes UTF8 if u==True, i.e. if the grammar uses UTF8; -- used in the Java GUI, which always uses UTF8 getCommandUTF :: Bool -> IO [(String,Command)] getCommandUTF u = do s <- getLine - return $ pCommandMsgs $ if u then s else decodeUTF8 s + return $ pCommandMsgs $ if u then decodeUTF8 s else s pCommandMsgs :: String -> [(String,Command)] pCommandMsgs = map (pCommandMsg . unwords) . concatMap (chunks ";;" . words) . lines |
