From 453a97042edaf3e8aaeb5baf39159a687f5b1867 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Tue, 15 Aug 2006 10:57:32 +0000
Subject: [PATCH] ensure that close widget is available for jobs that cannot
 be cancelled.

---
 src/jalview/gui/WebserviceInfo.java |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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()
-- 
1.7.10.2