X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=d73334598c8680a725a15a719781eaa53934abe5;hb=87ea83af3e209a8c3a4b19f9530a9c05b4541148;hp=69fb44ce2ff552176ce43b1528fd942c7f0cf6ee;hpb=7796bc87c98b21f199f9dc195401223984619091;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java old mode 100755 new mode 100644 index 69fb44c..d733345 --- 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,12 +25,11 @@ 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.util.MessageManager; import jalview.ws.WSClientI; /** @@ -296,7 +295,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 +799,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 +832,7 @@ public class WebserviceInfo extends GWebserviceInfo implements /* * (non-Javadoc) - * + * * @see jalview.gui.IProgressIndicator#setProgressBar(java.lang.String, long) */ @Override @@ -896,7 +896,7 @@ public class WebserviceInfo extends GWebserviceInfo implements final JPanel progressPanel = (JPanel) progressBars.get(new Long(id)); if (handler.canCancel()) { - JButton cancel = new JButton("Cancel"); + JButton cancel = new JButton(MessageManager.getString("action.cancel")); final IProgressIndicator us = this; cancel.addActionListener(new ActionListener() { @@ -916,7 +916,7 @@ public class WebserviceInfo extends GWebserviceInfo implements } /** - * + * * @return true if any progress bars are still active */ @Override