From 1a026f10232998c8cb03d2cf1080ff4109d57e57 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 15 May 2019 11:51:28 +0100 Subject: [PATCH] =?utf8?q?JAL-3263=20variable=20name=20now=20=E7=A7=98html5A?= =?utf8?q?pplet?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- src/jalview/util/Platform.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java index 6198a4b..0c962f7 100644 --- a/src/jalview/util/Platform.java +++ b/src/jalview/util/Platform.java @@ -431,7 +431,7 @@ public class Platform @SuppressWarnings("unused") ThreadGroup g = Thread.currentThread().getThreadGroup(); /** - * @j2sNative return g.html5Applet._uniqueId; + * @j2sNative return g.秘html5Applet._uniqueId; * */ return null; @@ -457,8 +457,8 @@ public class Platform String id = getUniqueAppletID(); String key = "", value = ""; /** - * @j2sNative var info = g.html5Applet.__Info || {}; for (var key in info) { - * if (key.indexOf(prefix) == 0) { value = "" + info[key]; + * @j2sNative var info = g.秘html5Applet.__Info || {}; for (var key in info) + * { if (key.indexOf(prefix) == 0) { value = "" + info[key]; */ System.out.println( -- 1.7.10.2