Clazz.declarePackage ("JSV.appletjs");
Clazz.load (["JSV.appletjs.JSVApplet"], "JSV.appletjs.JSVAppletPro", ["JSV.app.JSVAppPro"], function () {
c$ = Clazz.decorateAsClass (function () {
this.app0 = null;
Clazz.instantialize (this, arguments);
}, JSV.appletjs, "JSVAppletPro", JSV.appletjs.JSVApplet);
Clazz.overrideMethod (c$, "init", 
function () {
this.app =  new JSV.app.JSVAppPro (this, false);
this.initViewer ();
});
Clazz.overrideMethod (c$, "isPro", 
function () {
return true;
});
$_M(c$, "getAppletInfo", 
function () {
return Clazz.superCall (this, JSV.appletjs.JSVAppletPro, "getAppletInfo", []) + " (PRO)";
});
Clazz.overrideMethod (c$, "script", 
function (script) {
this.runScript (script);
}, "~S");
Clazz.overrideMethod (c$, "doExitJmol", 
function () {
this.app0.setVisible (true);
this.app = this.app0;
});
});
