remove duplicate host URLs in service list when not indexing services by host

[jalview.git] / src / jalview / gui / AppJmolBinding.java

diff --git a/src/jalview/gui/AppJmolBinding.java b/src/jalview/gui/AppJmolBinding.java
index d2efb93..5727386 100644 (file)
--- a/src/jalview/gui/AppJmolBinding.java
+++ b/src/jalview/gui/AppJmolBinding.java
@@ -86,7 +86,11 @@ public class AppJmolBinding extends jalview.ext.jmol.JalviewJmolBinding
   public void refreshGUI()
   {
     // appJmolWindow.repaint();
-    appJmolWindow.updateTitleAndMenus();
+    javax.swing.SwingUtilities.invokeLater(new Runnable() {
+      public void run() {
+        appJmolWindow.updateTitleAndMenus();
+        appJmolWindow.revalidate();
+      }});
   }
 
   public void updateColours(Object source)