diff options
Diffstat (limited to 'src/JavaGUI/GFEditor2.java')
| -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
|