@@ -803,7 +803,7 @@
// hiding
this.hideTimer = false;
- this.hideTimeMS = 10000;
+ this.hideTimeMS = 15000;
// history
this.currentHistoricIndex = null;