remove name of progress bar when stopping ws refresh progress.
[jalview.git] / help / html / editing / editing.jpg
help/html/editing/editing.jpg