Support GLSP diagram editor linking with navigator

eclipsesource / graphical-lsp

Graphical language server platform for building web-based diagram editors

https://www.eclipse.org/glsp

Eclipse Public License 2.0

36 stars 8 forks source link

Support GLSP diagram editor linking with navigator #385

Closed planger closed 4 years ago

planger commented 4 years ago

Currently the navigator selection is not linked with the GLSP diagram editor status; thus, when switching between active editors, the underlying file is not highlighted in the navigator.

planger commented 4 years ago

Fixed via https://github.com/eclipse/sprotty-theia/pull/44