[Jenkins]Jenkins

Änderungen

Summary

  1. add reconcilation timer for type checks (commit: 0fcf4e4) (details)
Commit 0fcf4e44536318c46b179a0ef8e83f69e83191aa by peter.peq
add reconcilation timer for type checks
after edits, wait 3 seconds before doing type check. This should save 
energy and result in a smoother editing experience.
 (commit: 0fcf4e4)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/utils/Utils.java (diff)
The file was addedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/DebouncingTimer.java
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/LanguageWorker.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/ModelManager.java (diff)
The file was modifiedde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/ModelManagerImpl.java (diff)