From: kiramt <k.mourao@dundee.ac.uk>
Date: Thu, 16 Mar 2017 12:12:52 +0000 (+0000)
Subject: JAL-2388 Applet update for overview panel
X-Git-Tag: Release_2_10_2~3^2~92^2~36
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=dc6be6d88fed09c93aabe03c7fd0f389ef558471;p=jalview.git

JAL-2388 Applet update for overview panel
---

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()));