Color textColour = Color.black;
Color textColour2 = Color.white;
- boolean idsAlignRight = false;
+ boolean rightAlignIds = false;
/**
showJVSuffix = Cache.getDefault("SHOW_JVSUFFIX", true);
showAnnotation = Cache.getDefault("SHOW_ANNOTATIONS", true);
+ rightAlignIds = Cache.getDefault("RIGHT_ALIGN_IDS", false);
+
autoCalculateConsensus = Cache.getDefault("AUTO_CALC_CONSENSUS", true);
padGaps = Cache.getDefault("PAD_GAPS", true);
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);
+ }
+ }
}