From 25aa5cbe7f7d3d98f236cab3fb93197866b3bba4 Mon Sep 17 00:00:00 2001
From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Tue, 5 Nov 2019 16:02:14 +0000
Subject: [PATCH] JAL-3210 JAL-3263 redo 'Mandarin' character for JS-develop
 pre-applet

---
 src/jalview/util/Platform.java |   12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index ade9d87..44d93b7 100644
--- 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];
      */
 
-- 
1.7.10.2