import jalview.structure.VamsasSource;
import jalview.util.MappingUtils;
import jalview.util.MessageManager;
+import jalview.viewmodel.AlignmentViewport;
public class SeqPanel extends Panel implements MouseMotionListener,
MouseListener, SequenceListener, SelectionListener
public void highlightSequence(SearchResults results)
{
- if (av.followHighlight)
+ if (av.isFollowHighlight())
{
if (ap.scrollToPosition(results, true))
{
// TODO: extend config options to allow user to control if selections may be
// shared between viewports.
if (av != null
- && (av == source || !av.followSelection || (source instanceof AlignViewport && ((AlignViewport) source)
+ && (av == source || !av.followSelection || (source instanceof AlignViewport && ((AlignmentViewport) source)
.getSequenceSetId().equals(av.getSequenceSetId()))))
{
return;