diff options
| author | janna <unknown> | 2005-01-07 19:48:22 +0000 |
|---|---|---|
| committer | janna <unknown> | 2005-01-07 19:48:22 +0000 |
| commit | bb3d2e1d42e662a3add785670f289787d2e492e2 (patch) | |
| tree | c859ced240c90ab41d7bcef4dd3d07734370841e /src/JavaGUI/GFEditor2.java | |
| parent | 46f85fb13a569e27863565b4ec99800038e3fd68 (diff) | |
*** empty log message ***
Diffstat (limited to 'src/JavaGUI/GFEditor2.java')
| -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() );
|