git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88817b5) | patch
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)
commit453a97042edaf3e8aaeb5baf39159a687f5b1867
tree99e8c090ad1fdb5c1f0a9fd56531ee0bc4159ca1tree | snapshot
parent88817b53b7df0e5e704dad48a56158baeddbe90fcommit | diff
ensure that close widget is available for jobs that cannot be
cancelled.
src/jalview/gui/WebserviceInfo.java diff | blob | history