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

*** empty log message ***

Browse Source
This commit is contained in:
janna
2004-01-28 08:51:28 +00:00
parent 5dcd4bbb8f
commit ea6cb208cb
7 changed files with 155 additions and 65 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/JavaGUI/GFEditor2.java
View File

@@ -31,7 +31,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
public static String selectedText="";
public static boolean debug = false;
public static boolean debug3 = true;
public static boolean debug3 = false;
public static boolean debug2 = false;
public static boolean selectionCheck = false;
public static String focusPosition = "";
@@ -563,8 +563,13 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
Locale.setDefault(Locale.US);
try {
Process extProc = Runtime.getRuntime().exec(args[0]);
fromProc = new BufferedReader (new InputStreamReader(
extProc.getInputStream(),"UTF8"));
InputStreamReader isr = new InputStreamReader(
extProc.getInputStream(),"UTF8");
// extProc.getInputStream());
fromProc = new BufferedReader (isr);
String defaultEncoding = isr.getEncoding();
System.out.println("encoding "+defaultEncoding);
toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
/* try {
UIManager.setLookAndFeel(