X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAppJmolBinding.java;h=57273862f82f9bbd2e03e515f8cb45059e77992b;hb=7423fd27a25ace181a99c20b307d54b860d0fbc2;hp=d2efb932ffbf582358ee7564e4ba85dd20fc2938;hpb=2a38a45cf356c9edaaef4ec74aa83b6f76609514;p=jalview.git 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)