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 (executable)
--- 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 (file)
--- 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);
 
     /**