X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=25ade211537b09d954afba6204b74b33a6aaf65b;hb=aa7e98db16b72e10b09e8897a382e5cbb5ca0012;hp=815871832c816430a6e2e7f0a948be76bd4c91a1;hpb=052b4c8f68f726eb02d69ce28c61f5b9dd05e54d;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 8158718..25ade21 100644 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -46,6 +46,8 @@ import javax.swing.JTabbedPane; import javax.swing.JTextArea; import javax.swing.event.HyperlinkEvent; import javax.swing.event.HyperlinkListener; +import javax.swing.event.InternalFrameAdapter; +import javax.swing.event.InternalFrameEvent; import javax.swing.text.html.HTMLEditorKit; import javax.swing.text.html.StyleSheet; @@ -99,7 +101,7 @@ public class WebserviceInfo extends GWebserviceInfo { super.setVisible(aFlag); frame.setVisible(aFlag); - }; + } JTabbedPane subjobs = null; @@ -352,11 +354,10 @@ public class WebserviceInfo extends GWebserviceInfo thread.start(); final WebserviceInfo thisinfo = this; frame.addInternalFrameListener( - new javax.swing.event.InternalFrameAdapter() + new InternalFrameAdapter() { @Override - public void internalFrameClosed( - javax.swing.event.InternalFrameEvent evt) + public void internalFrameClosed(InternalFrameEvent evt) { // System.out.println("Shutting down webservice client"); WSClientI service = thisinfo.getthisService(); @@ -364,7 +365,7 @@ public class WebserviceInfo extends GWebserviceInfo { service.cancelJob(); } - }; + } }); frame.validate(); @@ -711,7 +712,7 @@ public class WebserviceInfo extends GWebserviceInfo * DOCUMENT ME! */ @Override -protected void cancel_actionPerformed(ActionEvent e) + protected void cancel_actionPerformed(ActionEvent e) { if (!serviceIsCancellable) { @@ -743,7 +744,7 @@ protected void cancel_actionPerformed(ActionEvent e) javax.swing.SwingUtilities.invokeLater(new Runnable() { @Override - public void run() + public void run() { JvOptionPane.showInternalMessageDialog(Desktop.desktop, message, title, JvOptionPane.WARNING_MESSAGE);