JAL-3333 added height to rotating image preferred size
authorBen Soares <bsoares@dundee.ac.uk>
Fri, 28 Jun 2019 14:05:19 +0000 (15:05 +0100)
committerBen Soares <bsoares@dundee.ac.uk>
Fri, 28 Jun 2019 14:05:19 +0000 (15:05 +0100)
src/jalview/gui/WebserviceInfo.java

index 162d2b0..d6ca836 100644 (file)
@@ -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);