import org.jmol.popup.JmolPopup;
import org.openscience.jmol.app.jmolpanel.AppConsole;
-public class AppJmolBinding extends jalview.ext.jmol.JalviewJmolBinding
+public class AppJmolBinding extends jalview.ext.jmol.JalviewJmolBinding
{
/**
public void refreshGUI()
{
// appJmolWindow.repaint();
- javax.swing.SwingUtilities.invokeLater(new Runnable() {
- public void run() {
+ javax.swing.SwingUtilities.invokeLater(new Runnable()
+ {
+ public void run()
+ {
appJmolWindow.updateTitleAndMenus();
appJmolWindow.revalidate();
- }});
+ }
+ });
}
public void updateColours(Object source)
public void notifyScriptTermination(String strStatus, int msWalltime)
{
// todo - script termination doesn't happen ?
- //if (console != null)
- //console.notifyScriptTermination(strStatus,
- // msWalltime);
+ // if (console != null)
+ // console.notifyScriptTermination(strStatus,
+ // msWalltime);
}
public void showUrl(String url)
}
- public void showConsole(boolean b) {
+ public void showConsole(boolean b)
+ {
appJmolWindow.showConsole(b);
}
protected void releaseUIResources()
{
appJmolWindow = null;
- if (console!=null) {
- try {
+ if (console != null)
+ {
+ try
+ {
console.setVisible(false);
- } catch (Error e) {} catch (Exception x) {};
- console=null;
+ } catch (Error e)
+ {
+ } catch (Exception x)
+ {
+ }
+ ;
+ console = null;
}
-
+
}
}