JAL-1130 new logo spinner in webservices status window

[jalview.git] / src / jalview / gui / WebserviceInfo.java

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index 9f8a8a8..6696a3a 100755 (executable)
--- 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);
       }
     }
 
@@ -822,21 +823,6 @@ public class WebserviceInfo extends GWebserviceInfo implements
 
   public void hyperlinkUpdate(HyperlinkEvent e)
   {
-    if (e.getEventType() == EventType.ACTIVATED)
-    {
-      String url=null;
-      try
-      {
-        url = e.getURL().toString();
-        Desktop.showUrl(url);
-      } catch (Exception x)
-      {
-        if (url!=null) { 
-          Cache.log.error("Couldn't handle string "+url+" as a URL.");
-        }
-        // ignore any exceptions due to dud links.
-      }
-
-    }
+    Desktop.hyperlinkUpdate(e);
   }
 }