JAL-2388 Applet update for overview panel
authorkiramt <k.mourao@dundee.ac.uk>
Thu, 16 Mar 2017 12:12:52 +0000 (12:12 +0000)
committerkiramt <k.mourao@dundee.ac.uk>
Thu, 16 Mar 2017 12:12:52 +0000 (12:12 +0000)
src/jalview/appletgui/OverviewPanel.java

index f0dd524..1d11b67 100755 (executable)
@@ -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()));