git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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();
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)
}
public void updateColours(Object source)