add delay for page reload
authorBenjamin Auder <benjamin.auder@somewhere>
Mon, 18 Jul 2022 13:18:19 +0000 (15:18 +0200)
committerBenjamin Auder <benjamin.auder@somewhere>
Mon, 18 Jul 2022 13:18:19 +0000 (15:18 +0200)
TODO
app.js

diff --git a/TODO b/TODO
index 40446da..78cb5dd 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,4 +1,4 @@
-Baroque Berolina Bicolour Brotherhood
+Berolina Bicolour Brotherhood
 For Baroque (and Fugue and...) --> maybe a dedicated parent class ?
 
 Go game with option oneColor (révélée à la fin phase counting -->).
diff --git a/app.js b/app.js
index a8f447b..c5d5c7f 100644 (file)
--- a/app.js
+++ b/app.js
@@ -392,7 +392,7 @@ const messageCenter = (msg) => {
       break;
     case "filechange":
       // TODO?: could be more subtle
-      location.reload();
+      setTimeout(() => location.reload(), 100);
       break;
   }
 };