X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=162d2b0e26c265ca4e720b2a16d4350164c3f85e;hp=2fc08e16d44a6383995c9b08a5ad46a0372cc9db;hb=9b74b98cc1471c8b2d221bde484f7cacd1c1d968;hpb=148374987f168f9a320abb162c3d713dcf25d28a diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 2fc08e1..162d2b0 100644 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -26,7 +26,7 @@ import jalview.ws.WSClientI; import java.awt.BorderLayout; import java.awt.Color; -import java.awt.Font; +import java.awt.Dimension; import java.awt.Graphics; import java.awt.Graphics2D; import java.awt.GridLayout; @@ -39,7 +39,6 @@ import java.util.Vector; import javax.swing.JComponent; import javax.swing.JEditorPane; import javax.swing.JInternalFrame; -import javax.swing.JOptionPane; import javax.swing.JPanel; import javax.swing.JScrollPane; import javax.swing.JTabbedPane; @@ -343,7 +342,9 @@ public class WebserviceInfo extends GWebserviceInfo } AnimatedPanel ap = new AnimatedPanel(); - titlePanel.add(ap, BorderLayout.CENTER); + ap.setPreferredSize(new Dimension(60, 0)); + titlePanel.add(ap, BorderLayout.LINE_START); + titlePanel.add(titleText, BorderLayout.CENTER); Thread thread = new Thread(ap); thread.start(); @@ -351,7 +352,8 @@ public class WebserviceInfo extends GWebserviceInfo frame.addInternalFrameListener( new javax.swing.event.InternalFrameAdapter() { - public void internalFrameClosed( + @Override + public void internalFrameClosed( javax.swing.event.InternalFrameEvent evt) { // System.out.println("Shutting down webservice client"); @@ -375,6 +377,36 @@ public class WebserviceInfo extends GWebserviceInfo public void setStatus(int status) { currentStatus = status; + + String message = null; + switch (currentStatus) + { + case STATE_QUEUING: + message = MessageManager.getString("label.state_queueing"); + break; + + case STATE_RUNNING: + message = MessageManager.getString("label.state_running"); + break; + + case STATE_STOPPED_OK: + message = MessageManager.getString("label.state_completed"); + break; + + case STATE_CANCELLED_OK: + message = MessageManager.getString("label.state_job_cancelled"); + break; + + case STATE_STOPPED_ERROR: + message = MessageManager.getString("label.state_job_error"); + break; + + case STATE_STOPPED_SERVERERROR: + message = MessageManager.getString("label.server_error_try_later"); + break; + } + titleText.setText(title + (message == null ? "" : " - " + message)); + titleText.repaint(); } /** @@ -676,7 +708,8 @@ public class WebserviceInfo extends GWebserviceInfo * @param e * DOCUMENT ME! */ - protected void cancel_actionPerformed(ActionEvent e) + @Override +protected void cancel_actionPerformed(ActionEvent e) { if (!serviceIsCancellable) { @@ -707,7 +740,8 @@ public class WebserviceInfo extends GWebserviceInfo { javax.swing.SwingUtilities.invokeLater(new Runnable() { - public void run() + @Override + public void run() { JvOptionPane.showInternalMessageDialog(Desktop.desktop, message, title, JvOptionPane.WARNING_MESSAGE); @@ -756,7 +790,8 @@ public class WebserviceInfo extends GWebserviceInfo BufferedImage offscreen; - public void run() + @Override + public void run() { startTime = System.currentTimeMillis(); @@ -800,62 +835,6 @@ public class WebserviceInfo extends GWebserviceInfo g.setColor(Color.white); g.fillRect(0, 0, getWidth(), getHeight()); - g.setFont(new Font("Arial", Font.BOLD, 12)); - g.setColor(Color.black); - - switch (currentStatus) - { - case STATE_QUEUING: - g.drawString( - title.concat(" - ").concat( - MessageManager.getString("label.state_queueing")), - 60, 30); - - break; - - case STATE_RUNNING: - g.drawString( - title.concat(" - ").concat( - MessageManager.getString("label.state_running")), - 60, 30); - - break; - - case STATE_STOPPED_OK: - g.drawString( - title.concat(" - ").concat( - MessageManager.getString("label.state_completed")), - 60, 30); - - break; - - case STATE_CANCELLED_OK: - g.drawString( - title.concat(" - ") - .concat(MessageManager - .getString("label.state_job_cancelled")), - 60, 30); - - break; - - case STATE_STOPPED_ERROR: - g.drawString( - title.concat(" - ").concat( - MessageManager.getString("label.state_job_error")), - 60, 30); - - break; - - case STATE_STOPPED_SERVERERROR: - g.drawString( - title.concat(" - ") - .concat(MessageManager - .getString("label.server_error_try_later")), - 60, 30); - - break; - } - if (image != null) { int x = image.getWidth(this) / 2, y = image.getHeight(this) / 2; @@ -865,7 +844,8 @@ public class WebserviceInfo extends GWebserviceInfo } } - public void paintComponent(Graphics g1) + @Override + public void paintComponent(Graphics g1) { drawPanel(); @@ -880,7 +860,8 @@ public class WebserviceInfo extends GWebserviceInfo renderAsHtml = b; } - public void hyperlinkUpdate(HyperlinkEvent e) + @Override +public void hyperlinkUpdate(HyperlinkEvent e) { Desktop.hyperlinkUpdate(e); }