From dc6be6d88fed09c93aabe03c7fd0f389ef558471 Mon Sep 17 00:00:00 2001 From: kiramt Date: Thu, 16 Mar 2017 12:12:52 +0000 Subject: [PATCH] JAL-2388 Applet update for overview panel --- src/jalview/appletgui/OverviewPanel.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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())); -- 1.7.10.2