jmol update

[jalview.git] / src / jalview / appletgui / ExtJmol.java

diff --git a/src/jalview/appletgui/ExtJmol.java b/src/jalview/appletgui/ExtJmol.java
index 63c1ca7..4bee84c 100644 (file)
--- a/src/jalview/appletgui/ExtJmol.java
+++ b/src/jalview/appletgui/ExtJmol.java
@@ -138,4 +138,17 @@ public class ExtJmol extends JalviewJmolBinding
     // TODO Auto-generated method stub
     return null;
   }
+  @Override
+  protected void releaseUIResources()
+  {
+    ap = null;
+    if (console!=null) {
+      try {
+        console.setVisible(false);
+      } catch (Error e) {} catch (Exception x) {};
+      console=null;
+    }
+    
+  }
+
 }