* is found, the result will be empty.
*/
SearchResults sr = new SearchResults();
- int seqOffset = findComplementScrollTarget(sr);
+ int verticalOffset = findComplementScrollTarget(sr);
if (!sr.isEmpty())
{
// TODO would like next line without cast but needs more refactoring...
final AlignmentPanel complementPanel = ((AlignViewport) getCodingComplement()).getAlignPanel();
complementPanel.setFollowingComplementScroll(true);
- complementPanel.scrollToCentre(sr, seqOffset);
+ complementPanel.scrollToCentre(sr, verticalOffset);
}
}