From: jprocter Date: Wed, 1 Aug 2012 15:41:09 +0000 (+0100) Subject: JAL-1130 new logo spinner in webservices status window X-Git-Tag: Jalview_2_9~307^2~7 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=7daa9e81a5e0c71271c1b135ff47cfa7bd367635;p=jalview.git JAL-1130 new logo spinner in webservices status window --- diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 51c8e83..6696a3a 100755 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -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); } }