git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf16f46) | patch
remove name of progress bar when stopping ws refresh progress.
authorjprocter <Jim Procter>
Thu, 4 Nov 2010 12:40:40 +0000 (12:40 +0000)
committerjprocter <Jim Procter>
Thu, 4 Nov 2010 12:40:40 +0000 (12:40 +0000)
commit5bd77b8e3c68bc51bfd85b0175cf6132eda8491c
tree44444e1dbecd895123371be0c1788661ac1b60fetree | snapshot
parentbf16f469383285628cdae9743c008095f9662605commit | diff
remove name of progress bar when stopping ws refresh progress.
src/jalview/gui/WsPreferences.java diff | blob | history