* Set the 'follow' flag on the Viewport (and scroll to position if now
* true).
*/
- if (viewport.followHighlight = this.followHighlightMenuItem.getState())
+ final boolean state = this.followHighlightMenuItem.getState();
+ viewport.setFollowHighlight(state);
+ if (state)
{
alignPanel.scrollToPosition(
alignPanel.getSeqPanel().seqCanvas.searchResults, false);