From 8dff8b0e3feeb8e905917b65be97ad352dd3aa24 Mon Sep 17 00:00:00 2001
From: janna <unknown>
Date: Wed, 28 Jan 2004 08:51:28 +0000
Subject: *** empty log message ***

---
 src/JavaGUI/GFEditor2.java | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'src/JavaGUI')

diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java
index f8c1e1fd1..0acd1fdf2 100644
--- a/src/JavaGUI/GFEditor2.java
+++ b/src/JavaGUI/GFEditor2.java
@@ -31,7 +31,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
     public static String selectedText="";
 
     public static boolean debug = false;
-    public static boolean debug3 = true;
+    public static boolean debug3 = false;
     public static boolean debug2 = false;
     public static boolean selectionCheck = false;
     public static String focusPosition = "";
@@ -563,8 +563,13 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
         Locale.setDefault(Locale.US);
         try {
             Process extProc = Runtime.getRuntime().exec(args[0]); 
-            fromProc = new BufferedReader (new InputStreamReader(
-                           extProc.getInputStream(),"UTF8"));
+            InputStreamReader isr = new InputStreamReader(
+                           extProc.getInputStream(),"UTF8");
+                       // extProc.getInputStream());
+
+            fromProc = new BufferedReader (isr);
+String defaultEncoding = isr.getEncoding();
+System.out.println("encoding "+defaultEncoding);
             toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
             /*  try {
                   UIManager.setLookAndFeel(
-- 
cgit v1.2.3