Skip to content
This repository has been archived by the owner on Jan 15, 2020. It is now read-only.

Support GLSP diagram editor linking with navigator #385

Closed
planger opened this issue Oct 4, 2019 · 1 comment
Closed

Support GLSP diagram editor linking with navigator #385

planger opened this issue Oct 4, 2019 · 1 comment
Assignees
@planger
Labels
client A issue that is heavily affecting the client part (Typescript) improvement Changes to already existing features

Comments

@planger
Copy link
Collaborator

planger commented Oct 4, 2019

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 planger added client A issue that is heavily affecting the client part (Typescript) improvement Changes to already existing features labels Oct 4, 2019
@planger planger self-assigned this Oct 4, 2019
planger added a commit that referenced this issue Oct 4, 2019
@planger
Implement navigatable interface in GLSP diagram widget (#385)
9ec66b9 
Fixes #385
@planger planger mentioned this issue Oct 4, 2019
Closed
@planger
Copy link
Collaborator Author

planger commented Oct 7, 2019

Fixed via eclipse-sprotty/sprotty-theia#44

@planger planger closed this as completed Oct 7, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@planger planger

Labels
client A issue that is heavily affecting the client part (Typescript) improvement Changes to already existing features
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Implement navigatable interface in GLSP diagram widget (#385) eclipsesource/graphical-lsp
1 participant
@planger