From b72fe16445faa84c9039c3ce03e134bd8be777a3 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 25 Aug 2009 18:35:33 +0000
Subject: [PATCH] let the 'se utf8' command change the terminal codepage to
 65001 on Windows

---
 src/GFI.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/GFI.hs b/src/GFI.hs
index 5093884d9..17413e212 100644
--- a/src/GFI.hs
+++ b/src/GFI.hs
@@ -160,6 +160,7 @@ loop opts gfenv0 = do
                                 'c':'p':c -> case reads c of
                                                [(cp,"")] -> setConsoleCP cp >> setConsoleOutputCP cp
                                                _         -> return ()
+                                "utf8"    -> setConsoleCP 65001 >> setConsoleOutputCP 65001
                                 _         -> return ()
 #endif
                               loopNewCPU $ gfenv {coding = cod}