var oldjm=jmolView;
// recover full id of Jmol applet
// jmolView=_jmolGetApplet(jmolView).id; // Jmol 12.4
- jmolView=JmolFindTarget(jmolView).id; // Jmol 14.2.14
- alert("FoundTarget " + jmolView.id);
+ jmolView=jmolFindTarget(jmolView).id; // Jmol 14.2.14
var jmbinding=_jvjmols.get(jmolView);
if (!jmbinding)
{