From: jprocter <Jim Procter>
Date: Thu, 4 Nov 2010 12:40:40 +0000 (+0000)
Subject: remove name of progress bar when stopping ws refresh progress.
X-Git-Tag: Release_2_7~400
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5bd77b8e3c68bc51bfd85b0175cf6132eda8491c;p=jalview.git

remove name of progress bar when stopping ws refresh progress.
---

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index d6446af..4fb8e6e 100644
--- a/src/jalview/gui/WsPreferences.java
+++ b/src/jalview/gui/WsPreferences.java
@@ -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);
         }