[Jenkins]Jenkins

Änderungen

Summary

  1. worked on external editor support, compilation and error reporting (commit: 72831d5) (details)
Commit 72831d5a29500cae8e908c412a707c4388f56ca3 by peter.peq
worked on external editor support, compilation and error reporting

see https://github.com/peq/wurst4vscode/commit/f618252e4786bc6fd5ea9d5d0cc0d811b0b8ccaf
 (commit: 72831d5)
The file was modifiedde.peeeq.wurstscript/src/de/peeeq/wurstscript/parser/WPos.java (diff)
The file was modifiedde.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/LanguageServer.java (diff)
The file was modifiedde.peeeq.wurstscript/src/de/peeeq/wurstscript/gui/WurstGui.java (diff)
The file was addedde.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/ModelManagerException.java
The file was addedde.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/EventPackage.java
The file was modifiedde.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/ModelManager.java (diff)
The file was modifiedde.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/ModelManagerImpl.java (diff)
The file was addedde.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/ExternCompileError.java
The file was modifiedde.peeeq.wurstscript/src/de/peeeq/wurstscript/utils/LineOffsets.java (diff)
The file was modifiedde.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/CompilationResult.java (diff)