diff options
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java index 0968b6236..26ff3a3f2 100644 --- a/src/JavaGUI/GFEditor2.java +++ b/src/JavaGUI/GFEditor2.java @@ -593,7 +593,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, fromProc = new BufferedReader (isr);
String defaultEncoding = isr.getEncoding();
if (debug) System.out.println("encoding "+defaultEncoding);
- toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
+ toProc = new BufferedWriter(
+ new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
/* try {
UIManager.setLookAndFeel(
//UIManager.getSystemLookAndFeelClassName() );
|