X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FOverviewPanel.java;fp=src%2Fjalview%2Fappletgui%2FOverviewPanel.java;h=1d11b67b4f11fa25979e7b31ddf88cac56538361;hb=dc6be6d88fed09c93aabe03c7fd0f389ef558471;hp=f0dd5249a08900bf924010938616ad8645339c70;hpb=4cf5450c35d616b2904246eeb866958dc14bd2d9;p=jalview.git

diff --git a/src/jalview/appletgui/OverviewPanel.java b/src/jalview/appletgui/OverviewPanel.java
index f0dd524..1d11b67 100755
--- a/src/jalview/appletgui/OverviewPanel.java
+++ b/src/jalview/appletgui/OverviewPanel.java
@@ -166,10 +166,10 @@ public class OverviewPanel extends Panel implements Runnable,
 
     resizing = true;
 
-    if ((getWidth() > 0) && (getHeight() > 0))
+    if ((getSize().width > 0) && (getSize().height > 0))
     {
-      od.setWidth(getWidth());
-      od.setHeight(getHeight());
+      od.setWidth(getSize().width);
+      od.setHeight(getSize().height);
     }
     setSize(new Dimension(od.getWidth(), od.getHeight()));
 
@@ -191,7 +191,7 @@ public class OverviewPanel extends Panel implements Runnable,
     if (getSize().width > 0 && getSize().height > 0)
     {
       od.setWidth(getSize().width);
-      od.setHeight(getSize().height - od.getGraphHeight());
+      od.setHeight(getSize().height);
     }
 
     setSize(new Dimension(od.getWidth(), od.getHeight()));