diff options
Diffstat (limited to 'src/compiler/GF/Interactive2.hs')
| -rw-r--r-- | src/compiler/GF/Interactive2.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/compiler/GF/Interactive2.hs b/src/compiler/GF/Interactive2.hs index abb4f7ddf..d914c0f8b 100644 --- a/src/compiler/GF/Interactive2.hs +++ b/src/compiler/GF/Interactive2.hs @@ -39,7 +39,6 @@ import qualified GF.System.Signal as IO(runInterruptibly) import GF.Server(server) #endif -} -import GF.System.Console(changeConsoleEncoding) import GF.Command.Messages(welcome) @@ -131,7 +130,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 @@ -214,12 +212,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) |