if (Platform.isJS())
{
- final String ns = Jalview.getInstance().getJSNamespace();
+ final String ns = Jalview.getInstance().getJ2sNamespace();
if (ns != null)
{
final String jalviewjsDesktopElementId = "testApplet_LayeredPaneUI_10_8div";
final String nsc = ns + (ns.length() > 0 ? ":" : "");
final String nsu = ns + (ns.length() > 0 ? "_" : "");
- final String splashId = nsc + "jalviewSplash";
- final String splashClassActive = nsu + "jalviewSplashActive";
- final String splashClassInactive = nsu + "jalviewSplashInactive";
- final String splashClassHidden = nsu + "jalviewSplashHidden";
- final String js_overflow = Jalview.getInstance()
- .getJSInfoValue("js_overflow");
+ final String splashId = nsc + "jalviewjsSplash";
+ final String splashClassActive = nsu + "jalviewjsSplashActive";
+ final String splashClassInactive = nsu + "jalviewjsSplashInactive";
+ final String splashClassHidden = nsu + "jalviewjsSplashHidden";
+ final String j2s_overflow = Jalview.getInstance()
+ .getJ2sInfoValue("overflow");
/**
* @j2sNative // splash element disappearance
*
*
* }
*
- * if (new String(js_overflow).substring(0,4) === "true") {
+ * if (new String(j2s_overflow).substring(0,4) === "true") {
*
* changeVisibility();
*