ensure that close widget is available for jobs that cannot be
authorjprocter <Jim Procter>
Tue, 15 Aug 2006 10:57:32 +0000 (10:57 +0000)
committerjprocter <Jim Procter>
Tue, 15 Aug 2006 10:57:32 +0000 (10:57 +0000)
cancelled.

src/jalview/gui/WebserviceInfo.java

index d8f6af5..328de9c 100755 (executable)
@@ -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()