From d860a921e061ca21e7af8c1c42f5bbca4bd5c988 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 12 Aug 2015 15:00:03 +0000
Subject: GF Shell: turn set_encoding into a common command

Implemented in GF.Command.CommonCommands instead of GF.Interactive &
GF.Interactive2.
---
 src/compiler/GF/Interactive.hs | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'src/compiler/GF/Interactive.hs')

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)
 
-- 
cgit v1.2.3