Niklas Rentz 11 Aug 2020 c3b908be6ad4c2ca10e8dfb9ae9f826bd4e585c2

language: start LS with 'java' as command and '-jar [path]' as args

• keith-language/src/node/backend-extension.ts (version c3b908be6ad4c2ca10e8dfb9ae9f826bd4e585c2) (diffs)

Niklas Rentz 11 Aug 2020 bc5ca28118938f367671a6cda1a822ef5a857026

Merge branch 'master' into no-eclipse

Niklas Rentz 10 Aug 2020 14eae3340a29e17a0a50ee2e7dae845c5b524200 m

keith-sprotty: rendering IDs use different field.

• keith-sprotty/src/skgraph-models.ts (version 14eae3340a29e17a0a50ee2e7dae845c5b524200) (diffs)
• keith-sprotty/src/skgraph-utils.ts (version 14eae3340a29e17a0a50ee2e7dae845c5b524200) (diffs)
• keith-sprotty/src/views-common.tsx (version 14eae3340a29e17a0a50ee2e7dae845c5b524200) (diffs)
• keith-sprotty/src/views-rendering.tsx (version 14eae3340a29e17a0a50ee2e7dae845c5b524200) (diffs)

Niklas Rentz 10 Aug 2020 a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f

klighd.lsp: unique rendering IDs have an own property.
This way, they no longer overwrite the existing ID field on the
renderings, which may be used elsewhere. Also avoids the problem with
pre-existing IDs containing a $ sign, which breaks tracing the IDs back
to their renderings.
Fixes #58

• plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/gson_utils/EObjectSerializer.xtend (version a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f)
• plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/utils/KGraphElementIDGenerator.xtend (version a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f)
• plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/utils/RenderingPreparer.xtend (version a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f)
• plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/utils/SprottyProperties.xtend (version a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f)