GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 03:32:51 -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 46f85fb13a
commit bb3d2e1d42
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); fromProc = new BufferedReader (isr);
String defaultEncoding = isr.getEncoding(); String defaultEncoding = isr.getEncoding();
if (debug) System.out.println("encoding "+defaultEncoding); if (debug) System.out.println("encoding "+defaultEncoding);
toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream(),"UTF8")); toProc = new BufferedWriter(
new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
/* try { /* try {
UIManager.setLookAndFeel( UIManager.setLookAndFeel(
//UIManager.getSystemLookAndFeelClassName() ); //UIManager.getSystemLookAndFeelClassName() );