res = av.getAlignment().getHiddenColumns().adjustForHiddenColumns(res);
- if (av.getAlignment().getHiddenColumns().getHiddenRegions() != null)
+ for (int[] region : av.getAlignment().getHiddenColumns()
+ .getHiddenRegions())
{
- for (int[] region : av.getAlignment().getHiddenColumns()
- .getHiddenRegions())
+ if (res + 1 == region[0] || res - 1 == region[1])
{
- if (res + 1 == region[0] || res - 1 == region[1])
- {
- reveal = region;
- ToolTipManager.sharedInstance().registerComponent(this);
- this.setToolTipText(MessageManager
- .getString("label.reveal_hidden_columns"));
- repaint();
- return;
- }
+ reveal = region;
+ ToolTipManager.sharedInstance().registerComponent(this);
+ this.setToolTipText(
+ MessageManager.getString("label.reveal_hidden_columns"));
+ repaint();
+ return;
}
}
}
gg.setColor(Color.blue);
int res;
- if (av.getShowHiddenMarkers() && hidden.getHiddenRegions() != null)
+ if (av.getShowHiddenMarkers())
{
for (int i = 0; i < hidden.getHiddenRegions()
.size(); i++)