From aa3f5ae67d3b9b8d2f2e7767acbefda58ef1fc74 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Fri, 28 Jun 2019 15:05:19 +0100 Subject: [PATCH] JAL-3333 added height to rotating image preferred size --- src/jalview/gui/WebserviceInfo.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 162d2b0..d6ca836 100644 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -342,8 +342,8 @@ public class WebserviceInfo extends GWebserviceInfo } AnimatedPanel ap = new AnimatedPanel(); - ap.setPreferredSize(new Dimension(60, 0)); - titlePanel.add(ap, BorderLayout.LINE_START); + ap.setPreferredSize(new Dimension(60, 60)); + titlePanel.add(ap, BorderLayout.WEST); titlePanel.add(titleText, BorderLayout.CENTER); Thread thread = new Thread(ap); -- 1.7.10.2