From 3cd503affe392c274ebf2df5ca869af3c4961bfa Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 7 Jul 2005 10:14:41 +0000
Subject: [PATCH] delete markers from start to end

---
 src/jalview/appletgui/ColumnSelection.java |   13 +++++++++++++
 src/jalview/gui/ColumnSelection.java       |   13 +++++++++++++
 2 files changed, 26 insertions(+)

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!
      *
-- 
1.7.10.2