diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html index 3621116f97..51a996d4a6 100644 --- a/misc/dist/html/editor.html +++ b/misc/dist/html/editor.html @@ -151,7 +151,10 @@

Important - Please read - - + diff --git a/misc/dist/html/service-worker.js b/misc/dist/html/service-worker.js index 64fda4ebd2..6bf91433e1 100644 --- a/misc/dist/html/service-worker.js +++ b/misc/dist/html/service-worker.js @@ -154,7 +154,7 @@ self.addEventListener('message', (event) => { if (msg === 'claim') { self.skipWaiting().then(() => self.clients.claim()); } else if (msg === 'clear') { - void caches.delete(CACHE_NAME); + caches.delete(CACHE_NAME); } else if (msg === 'update') { self.skipWaiting().then(() => self.clients.claim()).then(() => self.clients.matchAll()).then((all) => all.forEach((c) => c.navigate(c.url))); } diff --git a/platform/web/js/libs/library_godot_input.js b/platform/web/js/libs/library_godot_input.js index 8347471681..d4c3f27b9b 100644 --- a/platform/web/js/libs/library_godot_input.js +++ b/platform/web/js/libs/library_godot_input.js @@ -47,7 +47,9 @@ const GodotIME = { ime_active: function (active) { function focus_timer() { - if (!GodotIME.ime) return; + if (!GodotIME.ime) { + return; + } GodotIME.active = true; GodotIME.ime.focus(); }