JAL-3210 JAL-3263 redo 'Mandarin' character for JS-develop pre-applet

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index ade9d87..44d93b7 100644 (file)
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -337,7 +337,9 @@ public class Platform
 
   public static byte[] getFileBytes(File f)
   {
-    return /** @j2sNative f && f._bytes || */
+    // TODO temporary doubling of 秘bytes and _bytes;
+    // just remove _bytes when new transpiler has been installed
+    return /** @j2sNative f && (f.\u79d8bytes || f._bytes) || */
     null;
   }
 
@@ -375,8 +377,10 @@ public class Platform
     }
     @SuppressWarnings("unused")
     byte[] bytes = getFileAsBytes(urlstring);
+    // TODO temporary doubling of 秘bytes and _bytes;
+    // just remove _bytes when new transpiler has been installed
     /**
-     * @j2sNative f._bytes = bytes;
+     * @j2sNative f.\u79d8bytes = f._bytes = bytes;
      */
     return true;
   }
@@ -431,7 +435,7 @@ public class Platform
     @SuppressWarnings("unused")
     ThreadGroup g = Thread.currentThread().getThreadGroup();
     /**
-     * @j2sNative return g.html5Applet._uniqueId;
+     * @j2sNative return g.\u79d8html5Applet._uniqueId;
      *
      */
     return null;
@@ -457,7 +461,7 @@ public class Platform
     String id = getUniqueAppletID();
     String key = "", value = "";
     /**
-     * @j2sNative var info = g.html5Applet.__Info || {}; for (var key in info) {
+     * @j2sNative var info = g.\u79d8html5Applet.__Info || {}; for (var key in info) {
      *            if (key.indexOf(prefix) == 0) { value = "" + info[key];
      */