From: hansonr <hansonr@STO24954W.ad.stolaf.edu>
Date: Sun, 31 Mar 2019 17:17:15 +0000 (-0500)
Subject: Cache JS adds search of Info for jalview_xxx properties
X-Git-Tag: Develop-2_11_2_0-d20201215~24^2~68^2~197
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=eb630a0993bbc2372735c451b9c8fcbc451d11e7;hp=367a8c2ae7eec0c665bce0b3995028ecedcf04cd;p=jalview.git

Cache JS adds search of Info for jalview_xxx properties
---

diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java
index e20b75d..fda04cb 100755
--- a/src/jalview/bin/Cache.java
+++ b/src/jalview/bin/Cache.java
@@ -596,7 +596,13 @@ public class Cache
    */
   public static String getProperty(String key)
   {
-    return applicationProperties.getProperty(key);
+    String prop = applicationProperties.getProperty(key);
+    if (prop == null && Platform.isJS())
+    {
+      prop = applicationProperties.getProperty(Platform.getUniqueAppletID()
+              + "_" + JS_PROPERTY_PREFIX + key);
+    }
+    return prop;
   }
 
   /**
diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index 118269a..d80e3de 100644
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -415,6 +415,8 @@ public class Platform
      *            if (key.indexOf(prefix) == 0) { value = "" + info[key];
      */
 
+    System.out.println(
+            "Platform id=" + id + " reading Info." + key + " = " + value);
     p.put(id + "_" + key, value);
 
     /**