JAL-2388 Renamed viewport position props to viewport ranges

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

diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java
index 2c77942..1c49b8a 100755 (executable)
--- 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();
   }