diff options
author | Bartosz Taudul <wolf@nereid.pl> | 2022-10-18 22:01:01 +0300 |
---|---|---|
committer | Bartosz Taudul <wolf@nereid.pl> | 2022-10-18 22:01:01 +0300 |
commit | b9fee59ac8d32d82350d46d0030e42c578e08437 (patch) | |
tree | b9238b96255b2952d9f2bb5fe744f18ea5fb55c7 /profiler | |
parent | 9bc8580f995b505062d259dfd3087fe6f01678b9 (diff) |
Do not hide progress bar, leaving the preload element.
Diffstat (limited to 'profiler')
-rw-r--r-- | profiler/build/wasm/index.html | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/profiler/build/wasm/index.html b/profiler/build/wasm/index.html index fc5baf50..6188f106 100644 --- a/profiler/build/wasm/index.html +++ b/profiler/build/wasm/index.html @@ -133,15 +133,13 @@ progressElement.hidden = false; spinnerElement.hidden = false; preloadElement.hidden = false; - } else { + } else if (!text) { progressElement.value = null; progressElement.max = null; progressElement.hidden = true; - if (!text) { - preloadElement.hidden = true; - spinnerElement.style.display = 'none'; - resizeHandler(); - } + preloadElement.hidden = true; + spinnerElement.style.display = 'none'; + resizeHandler(); } statusElement.innerHTML = text; }, |