From: jprocter <Jim Procter>
Date: Thu, 4 Nov 2010 12:40:41 +0000 (+0000)
Subject: remove name of progress bar when stopping ws refresh progress.
X-Git-Tag: Release_2_6_1~15
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=cce8dd5b2737f394593b3a418c7bb1836cf55c57;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);
         }