remove name of progress bar when stopping ws refresh progress.
[jalview.git] / src / jalview / gui / WsPreferences.java
index d6446af..4fb8e6e 100644 (file)
@@ -360,7 +360,7 @@ public class WsPreferences extends GWsPreferences
           Desktop.instance.setProgressBar("Refreshing Web Service Menus",
                   ct);
           Desktop.instance.startServiceDiscovery(true);
-          Desktop.instance.setProgressBar("Refreshing Web Service Menus",
+          Desktop.instance.setProgressBar(null,
                   ct);
         }