diff options
| author | janna <unknown> | 2004-01-28 08:51:28 +0000 |
|---|---|---|
| committer | janna <unknown> | 2004-01-28 08:51:28 +0000 |
| commit | 8dff8b0e3feeb8e905917b65be97ad352dd3aa24 (patch) | |
| tree | 6c4e2e40d8375a8a0ba5fd94f3b0b3fc79447745 /src/JavaGUI | |
| parent | 590a85f97079c25eae7a2ceece595f0fe827e4dd (diff) | |
*** empty log message ***
Diffstat (limited to 'src/JavaGUI')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 11 |
1 files changed, 8 insertions, 3 deletions
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(
|