mirror/tracy
1
0
Fork 0
mirror of https://github.com/wolfpld/tracy.git synced 2024-11-25 23:44:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Cosmetic fixes.

Browse Source
This commit is contained in:
Bartosz Taudul 2022-10-02 18:04:23 +02:00
parent 653d3bb358
commit e530103f43
No known key found for this signature in database
GPG Key ID: B7FE2008B7575DF3
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
profiler/build/wasm/index.html
View File

@ -35,7 +35,7 @@
border-right: 5px solid rgb(235, 235, 235); border-right: 5px solid rgb(235, 235, 235);
border-bottom: 5px solid rgb(235, 235, 235); border-bottom: 5px solid rgb(235, 235, 235);
border-top: 5px solid rgb(120, 120, 120); border-top: 5px solid rgb(120, 120, 120);
border-radius: 100%; border-radius: 100%;
background-color: rgb(189, 215, 46); background-color: rgb(189, 215, 46);
} }
@ -88,7 +88,6 @@
var progressElement = document.getElementById('progress'); var progressElement = document.getElementById('progress');
var spinnerElement = document.getElementById('spinner'); var spinnerElement = document.getElementById('spinner');
var preloadElement = document.getElementById('preload'); var preloadElement = document.getElementById('preload');
var canvasElement = document.getElementById('canvas');
function resizeHandler() { function resizeHandler() {
Module.ccall('nativeResize', 'number', ['number', 'number'], [window.innerWidth * window.devicePixelRatio, window.innerHeight * window.devicePixelRatio]); Module.ccall('nativeResize', 'number', ['number', 'number'], [window.innerWidth * window.devicePixelRatio, window.innerHeight * window.devicePixelRatio]);
@ -134,8 +133,8 @@
progressElement.value = null; progressElement.value = null;
progressElement.max = null; progressElement.max = null;
progressElement.hidden = true; progressElement.hidden = true;
preloadElement.hidden = true;
if (!text) { if (!text) {
preloadElement.hidden = true;
spinnerElement.style.display = 'none'; spinnerElement.style.display = 'none';
resizeHandler(); resizeHandler();
} }