Tweaks, sorry

Author: philiphoang

Kruskal/js/EventManager.js

@@ -1,11 +1,12 @@
+"use strict";
 /**
  * Created by knutandersstokke on 16.10.2016.
  *
  */
 /** Manager for events stored in queue. Manager is also responsible for executing events automatically */
 var EventManager = /** @class */ (function () {
     function EventManager() {
-        this.delayTime = 600; // Original value
+        this.delayTime = 700; // Original value
         this.nextEvents = [];
         this.previousEvents = [];
     }

Kruskal/js/EventManager.ts

@@ -7,7 +7,7 @@ declare var $ : any;
 
 /** Manager for events stored in queue. Manager is also responsible for executing events automatically */
 class EventManager {
-    delayTime:number = 600; // Original value
+    delayTime:number = 700; // Original value
     nextEvents:FrontendEvent[] = [];
     previousEvents:FrontendEvent[] = [];
     eventThread : number;