From bb3d2e1d42e662a3add785670f289787d2e492e2 Mon Sep 17 00:00:00 2001
From: janna <unknown>
Date: Fri, 7 Jan 2005 19:48:22 +0000
Subject: [PATCH] *** empty log message ***

---
 src/JavaGUI/GFEditor2.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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() );