private void mouseAction(MouseEvent evt)
{
od.updateViewportFromMouse(evt.getX(), evt.getY(), av.getAlignment()
- .getHiddenSequences(), av.getColumnSelection(), av
+ .getHiddenSequences(), av.getAlignment().getHiddenColumns(), av
.getRanges());
ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
ap.paintAlignment(false);
}
if (hiddenRow
- || (hasHiddenCols && !av.getColumnSelection()
+ || (hasHiddenCols && !av.getAlignment().getHiddenColumns()
.isVisible(lastcol)))
{
color = color.darker().darker();
public void setBoxPosition()
{
od.setBoxPosition(av.getAlignment()
- .getHiddenSequences(), av.getColumnSelection(), av.getRanges());
+.getHiddenSequences(), av
+ .getAlignment().getHiddenColumns(), av.getRanges());
repaint();
}