X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=c44e041811d0fd1f9ca15bee27c21369dcbfa2f3;hb=d425b0f6656de06fdb9bec6fb9ea291590ee57d2;hp=69fb44ce2ff552176ce43b1528fd942c7f0cf6ee;hpb=7796bc87c98b21f199f9dc195401223984619091;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 69fb44c..c44e041 100755 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -1,13 +1,13 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) - * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8) + * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle * * This file is part of Jalview. * * Jalview is free software: you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. - * + * * Jalview is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty * of MERCHANTABILITY or FITNESS FOR A PARTICULAR @@ -25,11 +25,9 @@ import java.awt.image.*; import javax.swing.*; import javax.swing.event.HyperlinkEvent; import javax.swing.event.HyperlinkListener; -import javax.swing.event.HyperlinkEvent.EventType; import javax.swing.text.html.HTMLEditorKit; import javax.swing.text.html.StyleSheet; -import jalview.bin.Cache; import jalview.jbgui.*; import jalview.ws.WSClientI; @@ -296,7 +294,8 @@ public class WebserviceInfo extends GWebserviceInfo implements this.title = title; setInfoText(info); - java.net.URL url = getClass().getResource("/images/Jalview_Logo_small.png"); + java.net.URL url = getClass().getResource( + "/images/Jalview_Logo_small.png"); image = java.awt.Toolkit.getDefaultToolkit().createImage(url); MediaTracker mt = new MediaTracker(this); @@ -799,10 +798,10 @@ public class WebserviceInfo extends GWebserviceInfo implements if (image != null) { - int x=image.getWidth(this)/2,y=image.getHeight(this)/2; - g.rotate(Math.toRadians(angle), 10+x, 10+y); + 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), 10+x, 10+y); + g.rotate(-Math.toRadians(angle), 10 + x, 10 + y); } } @@ -832,7 +831,7 @@ public class WebserviceInfo extends GWebserviceInfo implements /* * (non-Javadoc) - * + * * @see jalview.gui.IProgressIndicator#setProgressBar(java.lang.String, long) */ @Override @@ -916,7 +915,7 @@ public class WebserviceInfo extends GWebserviceInfo implements } /** - * + * * @return true if any progress bars are still active */ @Override