JAL-1130 new logo spinner in webservices status window
authorjprocter <jprocter@compbio.dundee.ac.uk>
Wed, 1 Aug 2012 15:41:09 +0000 (16:41 +0100)
committerjprocter <jprocter@compbio.dundee.ac.uk>
Wed, 19 Sep 2012 12:17:30 +0000 (13:17 +0100)
src/jalview/gui/WebserviceInfo.java

index 51c8e83..6696a3a 100755 (executable)
@@ -296,7 +296,7 @@ public class WebserviceInfo extends GWebserviceInfo implements
     this.title = title;
     setInfoText(info);
 
-    java.net.URL url = getClass().getResource("/images/logo.gif");
+    java.net.URL url = getClass().getResource("/images/logo_v2_square.jpg");
     image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
 
     MediaTracker mt = new MediaTracker(this);
@@ -799,9 +799,10 @@ public class WebserviceInfo extends GWebserviceInfo implements
 
       if (image != null)
       {
-        g.rotate(Math.toRadians(angle), 28, 28);
+        int x=image.getWidth(this)/2,y=image.getHeight(this)/2;
+        g.rotate(Math.toRadians(angle), 10+x, 10+y);
         g.drawImage(image, 10, 10, this);
-        g.rotate(-Math.toRadians(angle), 28, 28);
+        g.rotate(-Math.toRadians(angle), 10+x, 10+y);
       }
     }