delete markers from start to end
authoramwaterhouse <Andrew Waterhouse>
Thu, 7 Jul 2005 10:14:41 +0000 (10:14 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 7 Jul 2005 10:14:41 +0000 (10:14 +0000)
src/jalview/appletgui/ColumnSelection.java
src/jalview/gui/ColumnSelection.java

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