JAL-3490 merged with 2.11.2 develop
[jalview.git] / src / jalview / appletgui / AlignmentPanel.java
index 58569cd..0ed54e7 100644 (file)
@@ -345,7 +345,7 @@ public class AlignmentPanel extends Panel
           int verticalOffset, boolean redrawOverview, boolean centre)
   {
     // do we need to scroll the panel?
-    if (results != null && results.getSize() > 0)
+    if (results != null && results.getCount() > 0)
     {
       AlignmentI alignment = av.getAlignment();
       int seqIndex = alignment.findIndex(results);