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