From 740420bb36f9013a6e534787861589f072a661d2 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Thu, 14 Dec 2023 12:38:15 +0000 Subject: [PATCH] JAL-4059 Improvement to launch indicator --- src/jalview/util/JalviewJSUtil.java | 15 +++++++++++++- utils/jalviewjs/site-resources/index.html | 16 +++++++++++++++ utils/jalviewjs/site-resources/jalviewjs-core.html | 19 ++++++++++-------- utils/jalviewjs/site-resources/jalviewjs.html | 21 +++++++++++--------- 4 files changed, 53 insertions(+), 18 deletions(-) create mode 100644 utils/jalviewjs/site-resources/index.html diff --git a/src/jalview/util/JalviewJSUtil.java b/src/jalview/util/JalviewJSUtil.java index 15bf400..f46014b 100644 --- a/src/jalview/util/JalviewJSUtil.java +++ b/src/jalview/util/JalviewJSUtil.java @@ -324,6 +324,10 @@ public class JalviewJSUtil final String splashClassInactive = nsu + "jalviewjsSplashInactive"; final String splashClassFinal = nsu + "jalviewjsSplashFinal"; final String j2s_overflow = JalviewJSUtil.getJ2sInfoValue("overflow"); + + int hideSplashDelayMS = 5000; + final Object j2s_hideSplashDelay = JalviewJSUtil + .getJ2sInfoValue("hideSplashDelay"); /** * @j2sNative // splash element disappearance * @@ -343,7 +347,16 @@ public class JalviewJSUtil * * async function hideSplash() { * - * await sleep(5000); + * var hideSplashDelay = + * J2S.thisApplet.__Info.j2s_hideSplashDelay; + * + * if (hideSplashDelay === undefined) { + * + * hideSplashDelay = 20000; // 20s default + * + * } + * + * await sleep(hideSplashDelay); * * splashElement.classList.add(splashClassFinal); * diff --git a/utils/jalviewjs/site-resources/index.html b/utils/jalviewjs/site-resources/index.html new file mode 100644 index 0000000..9605bd8 --- /dev/null +++ b/utils/jalviewjs/site-resources/index.html @@ -0,0 +1,16 @@ + + +jalviewjs.html and jalviewjs-core.html examples + + +

jalviewjs.html and jalviewjs-core.html examples with new CLI style query parameters

+ + diff --git a/utils/jalviewjs/site-resources/jalviewjs-core.html b/utils/jalviewjs/site-resources/jalviewjs-core.html index b22caf1..e7f82f0 100644 --- a/utils/jalviewjs/site-resources/jalviewjs-core.html +++ b/utils/jalviewjs/site-resources/jalviewjs-core.html @@ -6,7 +6,7 @@

diff --git a/utils/jalviewjs/site-resources/jalviewjs.html b/utils/jalviewjs/site-resources/jalviewjs.html index 34b24c8..d735f00 100644 --- a/utils/jalviewjs/site-resources/jalviewjs.html +++ b/utils/jalviewjs/site-resources/jalviewjs.html @@ -6,7 +6,7 @@

-- 1.7.10.2