X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=9dadee758da8b16b4facc59addca5edc2294a683;hb=ef6291f17491f1c426e2cad44021c31f609e2808;hp=7c5c5e3c1e3daf6798e8df63309936e7caefa98b;hpb=21827c0d617758c91f62c67064a3ea23ad7f15d1;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 7c5c5e3..9dadee7 100755 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -58,6 +58,7 @@ public class WebserviceInfo extends GWebserviceInfo String title = ""; jalview.ws.WSClientI thisService; boolean serviceIsCancellable; + JInternalFrame frame; /** * Creates a new WebserviceInfo object. @@ -114,9 +115,10 @@ public class WebserviceInfo extends GWebserviceInfo */ void init(String title, String info, int width, int height) { - JInternalFrame frame = new JInternalFrame(); + frame = new JInternalFrame(); frame.setContentPane(this); Desktop.addInternalFrame(frame, title, width, height); + frame.setClosable(false); this.title = title; setInfoText(info); @@ -227,10 +229,23 @@ public class WebserviceInfo extends GWebserviceInfo } else { + frame.setClosable(true); thisService.cancelJob(); } } + public void setResultsReady() + { + frame.setClosable(true); + buttonPanel.remove(cancel); + buttonPanel.add(showResultsNewFrame); + buttonPanel.add(mergeResults); + buttonPanel.setLayout(new GridLayout(2,1,5,5)); + buttonPanel.validate(); + validate(); + } + + class AnimatedPanel extends JPanel implements Runnable { long startTime = 0;