From cce8dd5b2737f394593b3a418c7bb1836cf55c57 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Thu, 4 Nov 2010 12:40:41 +0000
Subject: [PATCH] remove name of progress bar when stopping ws refresh
 progress.

---
 src/jalview/gui/WsPreferences.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
         }
 
-- 
1.7.10.2