diff options
Diffstat (limited to 'src/compiler/GF/Interactive.hs')
| -rw-r--r-- | src/compiler/GF/Interactive.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/compiler/GF/Interactive.hs b/src/compiler/GF/Interactive.hs index 216c5f1e2..6e8cc6330 100644 --- a/src/compiler/GF/Interactive.hs +++ b/src/compiler/GF/Interactive.hs @@ -38,7 +38,6 @@ import qualified GF.System.Signal as IO(runInterruptibly) #ifdef SERVER_MODE import GF.Server(server) #endif -import GF.System.Console(changeConsoleEncoding) import GF.Command.Messages(welcome) @@ -130,7 +129,6 @@ execute1 opts gfenv0 s0 = "dt":ws -> define_tree ws "ph":_ -> print_history "r" :_ -> reload_last - "se":ws -> set_encoding ws -- ordinary commands, working on CommandEnv _ -> do interpretCommandLine env s0 continue gfenv @@ -210,12 +208,6 @@ execute1 opts gfenv0 s0 = putStrLn $ "no import in history" continue gfenv - set_encoding [c] = - do let cod = renameEncoding c - restricted $ changeConsoleEncoding cod - continue gfenv - set_encoding _ = putStrLn "se command not parsed" >> continue gfenv - printException e = maybe (print e) (putStrLn . ioErrorText) (fromException e) |