GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-23 01:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source
This commit is contained in:
janna
2004-11-01 09:02:55 +00:00
parent 925cc41eb4
commit c209862c76
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

@@ -821,7 +821,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
public void outputAppend(){ public void outputAppend(){
int i, j, j2, k, l, l2, selectionLength, m=0, n=0; int i, j, j2, k, l, l2, selectionLength, m=0, n=0;
result=result.replace('\n',' '); //result=result.replace('\n',' ');
if (debug2) if (debug2)
System.out.println("INPUT:"+result); System.out.println("INPUT:"+result);
l = result.indexOf("<focus"); l = result.indexOf("<focus");