patched Jmol and code for embedding JmolAppConsole in a JPanel (JAL-638)

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

diff --git a/src/jalview/appletgui/ExtJmol.java b/src/jalview/appletgui/ExtJmol.java
index 53c2f1c..b7fb311 100644 (file)
--- a/src/jalview/appletgui/ExtJmol.java
+++ b/src/jalview/appletgui/ExtJmol.java
@@ -121,4 +121,11 @@ public class ExtJmol extends JalviewJmolBinding
       pdbentry[pe] = (PDBEntry) pdbe.elementAt(pe);
     }
   }
+
+  @Override
+  public void showConsole(boolean show)
+  {
+    // This never gets called because we haven't overriden the associated Jmol's console
+    System.err.println("WARNING: unexpected call to ExtJmol's showConsole method. (showConsole="+show);
+  }
 }