JAL-4059 rename vars to j2s_ this and that for clarity
[jalview.git] / src / jalview / gui / Desktop.java
index 8211dcb..ad989af 100644 (file)
@@ -656,18 +656,18 @@ public class Desktop extends jalview.jbgui.GDesktop
 
     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
          * 
@@ -746,7 +746,7 @@ public class Desktop extends jalview.jbgui.GDesktop
          * 
          *            }
          * 
-         *            if (new String(js_overflow).substring(0,4) === "true") {
+         *            if (new String(j2s_overflow).substring(0,4) === "true") {
          * 
          *            changeVisibility();
          *