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

*** empty log message ***

Browse Source
This commit is contained in:
janna
2003-12-04 08:37:59 +00:00
parent d65e13b7c8
commit fa62fb4edf
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/JavaGUI/GFEditor2.java
View File

@@ -534,7 +534,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
Process extProc = Runtime.getRuntime().exec(args[0]); Process extProc = Runtime.getRuntime().exec(args[0]);
fromProc = new BufferedReader (new InputStreamReader( fromProc = new BufferedReader (new InputStreamReader(
extProc.getInputStream(),"UTF8")); extProc.getInputStream(),"UTF8"));
toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream())); toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
/* try { /* try {
UIManager.setLookAndFeel( UIManager.setLookAndFeel(
//UIManager.getSystemLookAndFeelClassName() ); //UIManager.getSystemLookAndFeelClassName() );