X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=0773a7b3d84cf8674cb0c6b9fc81914e68d726bb;hb=132fa48b35a4821ca0d8e241ba27989e573e61e5;hp=25ade211537b09d954afba6204b74b33a6aaf65b;hpb=17e4ea278bc9a5fb280db1252ce78b7a295215f5;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 25ade21..0773a7b 100644 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -20,10 +20,6 @@ */ package jalview.gui; -import jalview.jbgui.GWebserviceInfo; -import jalview.util.MessageManager; -import jalview.ws.WSClientI; - import java.awt.BorderLayout; import java.awt.Color; import java.awt.Dimension; @@ -51,6 +47,11 @@ import javax.swing.event.InternalFrameEvent; import javax.swing.text.html.HTMLEditorKit; import javax.swing.text.html.StyleSheet; +import jalview.jbgui.GWebserviceInfo; +import jalview.util.ChannelProperties; +import jalview.util.MessageManager; +import jalview.ws.WSClientI; + /** * Base class for web service client thread and gui TODO: create StAX parser to * extract html body content reliably when preparing html formatted job statuses @@ -330,9 +331,7 @@ public class WebserviceInfo extends GWebserviceInfo this.title = title; setInfoText(info); - java.net.URL url = getClass() - .getResource("/images/Jalview_Logo_small_with_border.png"); - image = java.awt.Toolkit.getDefaultToolkit().createImage(url); + image = ChannelProperties.getImage("rotatable_logo.48"); MediaTracker mt = new MediaTracker(this); mt.addImage(image, 0); @@ -353,20 +352,19 @@ public class WebserviceInfo extends GWebserviceInfo Thread thread = new Thread(ap); thread.start(); final WebserviceInfo thisinfo = this; - frame.addInternalFrameListener( - new InternalFrameAdapter() - { - @Override - public void internalFrameClosed(InternalFrameEvent evt) - { - // System.out.println("Shutting down webservice client"); - WSClientI service = thisinfo.getthisService(); - if (service != null && service.isCancellable()) - { - service.cancelJob(); - } - } - }); + frame.addInternalFrameListener(new InternalFrameAdapter() + { + @Override + public void internalFrameClosed(InternalFrameEvent evt) + { + // System.out.println("Shutting down webservice client"); + WSClientI service = thisinfo.getthisService(); + if (service != null && service.isCancellable()) + { + service.cancelJob(); + } + } + }); frame.validate(); } @@ -897,7 +895,7 @@ public class WebserviceInfo extends GWebserviceInfo } @Override - public void paintComponent(Graphics g1) + public void paintComponent(Graphics g1) { drawPanel(); @@ -913,7 +911,7 @@ public class WebserviceInfo extends GWebserviceInfo } @Override -public void hyperlinkUpdate(HyperlinkEvent e) + public void hyperlinkUpdate(HyperlinkEvent e) { Desktop.hyperlinkUpdate(e); }