X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=6696a3a4bc6324c424ac77ce4cfb9647a3bba006;hb=7daa9e81a5e0c71271c1b135ff47cfa7bd367635;hp=9f8a8a87879f2088f044767c4485457fdb448715;hpb=797df64fa2a0a30773d0f48f5494d4155e5a8be3;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 9f8a8a8..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); } } @@ -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); } }