remove name of progress bar when stopping ws refresh progress.
[jalview.git] / help / icons /
2005-09-20 amwaterhouseGTK icons