feat: add support for older browsers

2026-07-20 12:40:47 +08:00 · 2020-08-13 17:19:54 +02:00
parent d67c3d2907
commit 97e6727ccc
16 changed files with 125 additions and 40 deletions
@@ -199,7 +199,7 @@ function handleAvailableHash(hash) {
  mostRecentCompilationHash = hash;
 }

-const debouncedReload = debounce(function() {
+var debouncedReload = debounce(function() {
  window.location.reload();
 }, 1000);