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

*** empty log message ***

Browse Source
This commit is contained in:
janna
2004-10-28 12:22:04 +00:00
parent 855fc1e1f8
commit fed7f97e5f
1 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
src/JavaGUI/GFEditor2.java
View File

@@ -36,8 +36,10 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
public static boolean debug = false;
// pop-up/mouse handling:
public static boolean debug3 = false;
// red mark-up && html:
public static boolean debug4 = false;
// linearization marking:
public static boolean debug2 = true;
public static boolean debug2 = false;
public static boolean selectionCheck = false;
public static LinPosition focusPosition ;
@@ -977,11 +979,13 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
MarkedArea ma = (MarkedArea)outputVector.elementAt(i) ;
int begin = ma.begin ;
int end = ma.end ;
System.out.println("BEGIN: "+ begin +" END: "+end+" "+ma.words+" "+ma.position.position);
if (debug4)
System.out.println("BEGIN: "+ begin +" END: "+end+" "+ma.words+" "+ma.position.position);
if (!ma.position.correctPosition)
try {
output.getHighlighter().addHighlight(begin, end, new DefaultHighlighter.DefaultHighlightPainter(Color.red));
System.out.println("HIGHLIGHT: "+output.getText().substring(begin, end));
if (debug4)
System.out.println("HIGHLIGHT: "+output.getText().substring(begin, end));
} catch (Exception e) {System.out.println("highlighting problem!");}
}
}
@@ -1311,12 +1315,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
fileString="";
grammar.setText("No Topic ");
System.out.println("new Topic is working");
// bug in GF, do reset manually:
send("e");
send("e "+ file.getPath().replace('\\','/'));
send(" e "+ file.getPath().replace('\\','/'));
}
}
}
@@ -1990,7 +1989,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
restString = replaceSubstring(restString,more,"> ");
restString = replaceSubstring(restString,less," <");
restString= replaceSubstring(restString,"\b\b","\b");
System.out.println(restString);
if (debug4)
System.out.println(restString);
output.append(restString.replaceAll("&-","\n "));
if ((selectionEnd>=selectionStart)&&(selectionStart>-1))
try {