From a9da9b67bcc52a719e12ae98dbaf51d75d6869d4 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Thu, 2 Sep 2010 12:31:51 +0000
Subject: [PATCH] update gui in gui thread - not structure loading thread

---
 src/jalview/gui/AppJmolBinding.java |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/jalview/gui/AppJmolBinding.java b/src/jalview/gui/AppJmolBinding.java
index d2efb93..5727386 100644
--- 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)
-- 
1.7.10.2