\r
public void invertColumnSelection()\r
{\r
- int column;\r
for (int i = 0; i < alignment.getWidth(); i++)\r
{\r
- column = i;\r
-\r
- if (colSel.contains(column))\r
- colSel.removeElement(column);\r
+ if (colSel.contains(i))\r
+ colSel.removeElement(i);\r
else\r
- colSel.addElement(column);\r
-\r
+ {\r
+ if (!hasHiddenColumns || colSel.isVisible(i))\r
+ {\r
+ colSel.addElement(i);\r
+ }\r
+ }\r
}\r
}\r
\r
public void invertColumnSelection()
{
- int column;
for(int i=0; i<alignment.getWidth(); i++)
{
- column = i;
-
- if(colSel.contains(column))
- colSel.removeElement(column);
+ if(colSel.contains(i))
+ colSel.removeElement(i);
else
- colSel.addElement(column);
+ {
+ if (!hasHiddenColumns || colSel.isVisible(i))
+ {
+ colSel.addElement(i);
+ }
+ }
}