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

diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java
index 2c77942..1c49b8a 100755
--- a/src/jalview/gui/OverviewPanel.java
+++ b/src/jalview/gui/OverviewPanel.java
@@ -89,7 +89,7 @@ public class OverviewPanel extends JPanel implements Runnable
     sr.forOverview = true;
     fr = new FeatureRenderer(alPanel);
 
-    od = new OverviewDimensions(av.getPosProps(), av.isShowAnnotation());
+    od = new OverviewDimensions(av.getRanges(), av.isShowAnnotation());
 
     addComponentListener(new ComponentAdapter()
     {
@@ -113,7 +113,7 @@ public class OverviewPanel extends JPanel implements Runnable
         {
           od.updateViewportFromMouse(evt.getX(), evt.getY(), av
                   .getAlignment().getHiddenSequences(), av
-                  .getColumnSelection(), av.getPosProps());
+                  .getColumnSelection(), av.getRanges());
           ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
         }
       }
@@ -128,7 +128,7 @@ public class OverviewPanel extends JPanel implements Runnable
         {
           od.updateViewportFromMouse(evt.getX(), evt.getY(), av
                   .getAlignment().getHiddenSequences(), av
-                  .getColumnSelection(), av.getPosProps());
+                  .getColumnSelection(), av.getRanges());
           ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
         }
       }
@@ -327,7 +327,7 @@ public class OverviewPanel extends JPanel implements Runnable
   public void setBoxPosition()
   {
     od.setBoxPosition(av.getAlignment()
-            .getHiddenSequences(), av.getColumnSelection(), av.getPosProps());
+            .getHiddenSequences(), av.getColumnSelection(), av.getRanges());
     repaint();
   }