\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
- System.err.println(\r
- "WARNING: Tried to remove Integer NOT in ColumnSelection");\r
- }\r
}\r
\r
public boolean contains(int col)\r
\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
public void removeElement(int col)\r
{\r
Integer colInt = new Integer(col);\r
-\r
if (selected.contains(colInt))\r
{\r
selected.removeElement(colInt);\r
}\r
- else\r
- {\r
- System.err.println(\r
- "WARNING: Tried to remove Integer NOT in ColumnSelection");\r
- }\r
}\r
\r
public boolean contains(int col)\r