.getAlignPanel();
complementPanel.setDontScrollComplement(true);
complementPanel.scrollToCentre(sr, verticalOffset);
+ complementPanel.setDontScrollComplement(false);
}
}
// now update any complementary alignment (its viewport ranges object
// is different so does not get automatically updated)
- av.scrollComplementaryAlignment();
+ if (!isDontScrollComplement())
+ {
+ setDontScrollComplement(true);
+ av.scrollComplementaryAlignment();
+ setDontScrollComplement(false);
+ }
}
}
if (av.isFollowHighlight())
{
- /*
- * if scrollToPosition requires a scroll adjustment, this flag prevents
- * another scroll event being propagated back to the originator
- *
- * @see AlignmentPanel#adjustmentValueChanged
- */
- ap.setDontScrollComplement(true);
if (ap.scrollToPosition(results, false))
{
seqCanvas.revalidate();