From 57d4300f860ec19f68586f6481ce4905a48a2439 Mon Sep 17 00:00:00 2001
From: janna <unknown>
Date: Tue, 2 Dec 2003 22:36:34 +0000
Subject: [PATCH] *** empty log message ***

---
 src/JavaGUI/GFEditor2.java | 7 ++++---
 1 file 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