Merge branch 'prod'

2018-04-26 22:05:18 +02:00
parent 77b16de28b b7abbe605b
commit 3c20c69e2d
4 changed files with 15 additions and 8 deletions
@@ -805,7 +805,7 @@

      // hiding
      this.hideTimer = false;
-      this.hideTimeMS = 10000;
+      this.hideTimeMS = 15000;

      // history
      this.currentHistoricIndex = null;