GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 13:09:33 -06:00
Code Issues Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source
This commit is contained in:
janna
2005-01-07 19:48:22 +00:00
parent 19b6423d6e
commit 496416d7ab
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/JavaGUI/GFEditor2.java
View File

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