\r
public void addElement(int col)\r
{\r
- selected.addElement(new Integer(col));\r
+ if(!selected.contains(new Integer(col)))\r
+ selected.addElement(new Integer(col));\r
}\r
\r
public void clear()\r
{\r
selected.removeElement(colInt);\r
}\r
- else\r
+ }\r
+\r
+ public void removeElements(int start, int end)\r
+ {\r
+ Integer colInt;\r
+ for(int i=start; i<end; i++)\r
{\r
- System.err.println(\r
- "WARNING: Tried to remove Integer NOT in ColumnSelection");\r
+ colInt = new Integer(i);\r
+ if (selected.contains(colInt))\r
+ {\r
+ selected.removeElement(colInt);\r
+ }\r
+ }\r
}\r
- }\r
\r
public boolean contains(int col)\r
{\r