-/**
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6)
+ * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle
*
+ * This file is part of Jalview.
+ *
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
+ *
+ * Jalview is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+ * PURPOSE. See the GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along with Jalview. If not, see <http://www.gnu.org/licenses/>.
*/
package jalview.gui;
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);
}
{
return new AppConsole(viewer, consolePanel, buttonsToShow);
}
-}
\ No newline at end of file
+
+ @Override
+ protected void releaseUIResources()
+ {
+ appJmolWindow = null;
+ if (console != null)
+ {
+ try
+ {
+ console.setVisible(false);
+ } catch (Error e)
+ {
+ } catch (Exception x)
+ {
+ }
+ ;
+ console = null;
+ }
+
+ }
+}