X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAppJmolBinding.java;h=2a0e2a7dfa4721b76bb4585c21fef1712e509e51;hb=6486a5333807ca300db4a28a6bf9899f5dddf5a6;hp=d2efb932ffbf582358ee7564e4ba85dd20fc2938;hpb=2a38a45cf356c9edaaef4ec74aa83b6f76609514;p=jalview.git diff --git a/src/jalview/gui/AppJmolBinding.java b/src/jalview/gui/AppJmolBinding.java index d2efb93..2a0e2a7 100644 --- a/src/jalview/gui/AppJmolBinding.java +++ b/src/jalview/gui/AppJmolBinding.java @@ -5,11 +5,14 @@ package jalview.gui; import java.util.BitSet; +import javax.swing.JPanel; + import jalview.bin.Cache; import jalview.datamodel.PDBEntry; import jalview.datamodel.SequenceI; import org.jmol.popup.JmolPopup; +import org.openscience.jmol.app.jmolpanel.AppConsole; public class AppJmolBinding extends jalview.ext.jmol.JalviewJmolBinding { @@ -53,19 +56,19 @@ public class AppJmolBinding extends jalview.ext.jmol.JalviewJmolBinding public void sendConsoleEcho(String strEcho) { - if (appJmolWindow.scriptWindow != null) + if (console != null) { - appJmolWindow.scriptWindow.sendConsoleEcho(strEcho); + console.sendConsoleEcho(strEcho); } } public void sendConsoleMessage(String strStatus) { - if (appJmolWindow.scriptWindow != null && strStatus != null) + if (console != null && strStatus != null) // && !strStatus.equals("Script completed")) // should we squash the script completed string ? { - appJmolWindow.scriptWindow.sendConsoleMessage(strStatus); + console.sendConsoleMessage(strStatus); } } @@ -86,7 +89,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) @@ -100,9 +107,10 @@ public class AppJmolBinding extends jalview.ext.jmol.JalviewJmolBinding public void notifyScriptTermination(String strStatus, int msWalltime) { - if (appJmolWindow.scriptWindow != null) - appJmolWindow.scriptWindow.notifyScriptTermination(strStatus, - msWalltime); + // todo - script termination doesn't happen ? + //if (console != null) + //console.notifyScriptTermination(strStatus, + // msWalltime); } public void showUrl(String url) @@ -130,6 +138,9 @@ public class AppJmolBinding extends jalview.ext.jmol.JalviewJmolBinding } + public void showConsole(boolean b) { + appJmolWindow.showConsole(b); + } /** * add the given sequences to the mapping scope for the given pdb file handle @@ -149,5 +160,4 @@ public class AppJmolBinding extends jalview.ext.jmol.JalviewJmolBinding } } } - } \ No newline at end of file