JAL-2388 Renamed viewport position props to viewport ranges

[jalview.git] / src / jalview / appletgui / OverviewPanel.java

diff --git a/src/jalview/appletgui/OverviewPanel.java b/src/jalview/appletgui/OverviewPanel.java
index 1d11b67..e2d986e 100755 (executable)
--- 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();
   }