diff options
| author | janna <unknown> | 2003-12-02 22:36:34 +0000 |
|---|---|---|
| committer | janna <unknown> | 2003-12-02 22:36:34 +0000 |
| commit | 57d4300f860ec19f68586f6481ce4905a48a2439 (patch) | |
| tree | 69f1479893afd8e89e6b3b351cee04164ce22054 /src/JavaGUI | |
| parent | e3dd913ce3b60cab464067c3681fdeb20cf7a231 (diff) | |
*** empty log message ***
Diffstat (limited to 'src/JavaGUI')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java index ec3fd5fd7..f6215de9a 100644 --- a/src/JavaGUI/GFEditor2.java +++ b/src/JavaGUI/GFEditor2.java @@ -1641,11 +1641,11 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, restString = s;
int m2, m1;
String position = "";
- if (selectionStart>-1)
+ if ((selectionStart>-1)&&(selectionEnd>selectionStart))
{
selStart = selectionStart;
selEnd = selectionEnd;
- if (debug2)
+ //if (debug2)
System.out.println("SELECTION: " + selStart + " "+selEnd+ "TOTAL: "+s.length());
if (selEnd>-1)
selectionCheck = (s.substring(selStart, selEnd).indexOf("<")==-1);
@@ -1880,7 +1880,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, currentPosition.addElement(restString.substring(positionStart, positionEnd+1));
}
else
- currentPosition.removeElementAt(currentPosition.size()-1);
+ if (currentPosition.size()>0)
+ currentPosition.removeElementAt(currentPosition.size()-1);
if (start>0)
restString = restString.substring(0,start)+restString.substring(end+1);
else
|