From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 7 Jul 2005 10:14:41 +0000 (+0000)
Subject: delete markers from start to end
X-Git-Tag: Release_2_01~20
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=3cd503affe392c274ebf2df5ca869af3c4961bfa;p=jalview.git

delete markers from start to end
---

diff --git a/src/jalview/appletgui/ColumnSelection.java b/src/jalview/appletgui/ColumnSelection.java
index d6a4ba8..33c4604 100755
--- a/src/jalview/appletgui/ColumnSelection.java
+++ b/src/jalview/appletgui/ColumnSelection.java
@@ -48,6 +48,19 @@ public class ColumnSelection
     }
   }
 
+  public void removeElements(int start, int end)
+  {
+    Integer colInt;
+    for(int i=start; i<end; i++)
+    {
+      colInt = new Integer(i);
+      if (selected.contains(colInt))
+      {
+          selected.removeElement(colInt);
+      }
+    }
+    }
+
   public boolean contains(int col)
   {
     return selected.contains(new Integer(col));
diff --git a/src/jalview/gui/ColumnSelection.java b/src/jalview/gui/ColumnSelection.java
index 356dd1c..a7fd83a 100755
--- a/src/jalview/gui/ColumnSelection.java
+++ b/src/jalview/gui/ColumnSelection.java
@@ -64,6 +64,19 @@ public class ColumnSelection
         }
     }
 
+    public void removeElements(int start, int end)
+    {
+      Integer colInt;
+      for(int i=start; i<end; i++)
+      {
+        colInt = new Integer(i);
+        if (selected.contains(colInt))
+        {
+            selected.removeElement(colInt);
+        }
+      }
+    }
+
     /**
      * DOCUMENT ME!
      *