X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FOverviewPanel.java;fp=src%2Fjalview%2Fappletgui%2FOverviewPanel.java;h=e2d986e6e5f8531263c2f72b7544db85bb9f3508;hb=9201765247470c08d366abef2713c1c736adf2cb;hp=1d11b67b4f11fa25979e7b31ddf88cac56538361;hpb=80fbfc0050c934ccdab11ccbd5f87d517ff4c04a;p=jalview.git

diff --git a/src/jalview/appletgui/OverviewPanel.java b/src/jalview/appletgui/OverviewPanel.java
index 1d11b67..e2d986e 100755
--- a/src/jalview/appletgui/OverviewPanel.java
+++ b/src/jalview/appletgui/OverviewPanel.java
@@ -76,7 +76,7 @@ public class OverviewPanel extends Panel implements Runnable,
     sr.forOverview = true;
     fr = new FeatureRenderer(av);
 
-    od = new OverviewDimensions(av.getPosProps(), av.isShowAnnotation());
+    od = new OverviewDimensions(av.getRanges(), av.isShowAnnotation());
 
     setSize(new Dimension(od.getWidth(), od.getHeight()));
     addComponentListener(new ComponentAdapter()
@@ -143,7 +143,7 @@ public class OverviewPanel extends Panel implements Runnable,
   {
     od.updateViewportFromMouse(evt.getX(), evt.getY(), av.getAlignment()
             .getHiddenSequences(), av.getColumnSelection(), av
-            .getPosProps());
+            .getRanges());
     ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
     ap.paintAlignment(false);
   }
@@ -339,7 +339,7 @@ public class OverviewPanel extends Panel implements Runnable,
   public void setBoxPosition()
   {
     od.setBoxPosition(av.getAlignment()
-            .getHiddenSequences(), av.getColumnSelection(), av.getPosProps());
+            .getHiddenSequences(), av.getColumnSelection(), av.getRanges());
     repaint();
   }