diff options
| author | janna <unknown> | 2003-12-04 08:37:59 +0000 |
|---|---|---|
| committer | janna <unknown> | 2003-12-04 08:37:59 +0000 |
| commit | 6a9dc9e5f5ddea8130b88a88d1e07f489d0906f9 (patch) | |
| tree | bf3a48275c4a7c03830d736d56eb84a6a8c9093f | |
| parent | 57d4300f860ec19f68586f6481ce4905a48a2439 (diff) | |
*** empty log message ***
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java index f6215de9a..1f8fcea60 100644 --- a/src/JavaGUI/GFEditor2.java +++ b/src/JavaGUI/GFEditor2.java @@ -534,7 +534,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, Process extProc = Runtime.getRuntime().exec(args[0]);
fromProc = new BufferedReader (new InputStreamReader(
extProc.getInputStream(),"UTF8"));
- toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream()));
+ toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
/* try {
UIManager.setLookAndFeel(
//UIManager.getSystemLookAndFeelClassName() );
|
