From 7daa9e81a5e0c71271c1b135ff47cfa7bd367635 Mon Sep 17 00:00:00 2001 From: jprocter Date: Wed, 1 Aug 2012 16:41:09 +0100 Subject: [PATCH] JAL-1130 new logo spinner in webservices status window --- src/jalview/gui/WebserviceInfo.java | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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); } } -- 1.7.10.2