JAL-1713 renamed method to OverviewPanel.get/setFrameBounds()

diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java
index 9cfda3a..b84757a 100755 (executable)
--- a/src/jalview/gui/OverviewPanel.java
+++ b/src/jalview/gui/OverviewPanel.java
@@ -459,26 +459,24 @@ public class OverviewPanel extends JPanel
   }
 
   /**
-   * Overridden to set the bounds of the frame holding the Overview panel
+   * Sets the bounds of the frame holding the Overview panel
    * 
    * @param xpos
    * @param ypos
    * @param width
    * @param height
    */
-  @Override
-  public void setBounds(int xpos, int ypos, int width, int height)
+  public void setFrameBounds(int xpos, int ypos, int width, int height)
   {
     internalFrame.setBounds(xpos, ypos, width, height);
   }
 
   /**
-   * Overridden to return the bounds of the enclosing frame
+   * Returns the bounds of the enclosing frame
    * 
    * @return
    */
-  @Override
-  public Rectangle getBounds()
+  public Rectangle getFrameBounds()
   {
     return internalFrame.getBounds();
   }

diff --git a/src/jalview/project/Jalview2XML.java b/src/jalview/project/Jalview2XML.java
index 2ae81d9..19222e0 100644 (file)
--- a/src/jalview/project/Jalview2XML.java
+++ b/src/jalview/project/Jalview2XML.java
@@ -1454,7 +1454,7 @@ public class Jalview2XML
       {
         Overview overview = new Overview();
         overview.setTitle(ov.getTitle());
-        Rectangle bounds = ov.getBounds();
+        Rectangle bounds = ov.getFrameBounds();
         overview.setXpos(bounds.x);
         overview.setYpos(bounds.y);
         overview.setWidth(bounds.width);
@@ -4073,7 +4073,7 @@ public class Jalview2XML
       OverviewPanel overviewPanel = af
               .openOverviewPanel(overview.isShowHidden());
       overviewPanel.setTitle(overview.getTitle());
-      overviewPanel.setBounds(overview.getXpos(), overview.getYpos(),
+      overviewPanel.setFrameBounds(overview.getXpos(), overview.getYpos(),
               overview.getWidth(), overview.getHeight());
       Color gap = new Color(overview.getGapColour());
       Color residue = new Color(overview.getResidueColour());