From: jprocter Date: Tue, 15 Aug 2006 10:57:32 +0000 (+0000) Subject: ensure that close widget is available for jobs that cannot be X-Git-Tag: Release_2_1~57 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=453a97042edaf3e8aaeb5baf39159a687f5b1867;p=jalview.git ensure that close widget is available for jobs that cannot be cancelled. --- diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index d8f6af5..328de9c 100755 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -141,6 +141,7 @@ public class WebserviceInfo extends GWebserviceInfo { thisService = newservice; serviceIsCancellable = newservice.isCancellable(); + frame.setClosable(!serviceIsCancellable); } /** @@ -355,8 +356,8 @@ public class WebserviceInfo extends GWebserviceInfo else { thisService.cancelJob(); - frame.setClosable(true); } + frame.setClosable(true); } public void setResultsReady()