Skip to content

No labels!

There aren’t any labels for this repository quite yet.

bug
bug
Something isn't working
dependencies
dependencies
Pull requests that update a dependency file
discussion
discussion
Should be figured out together
documentation
documentation
Related to project documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
prebuilt-in-gitpod
prebuilt-in-gitpod
question
question
Further information is requested
sprotty
sprotty
Issue concerning the main sprotty package
sprotty-elk
sprotty-elk
Issue concerning the sprotty-elk package
sprotty-protocol
sprotty-protocol
Issue concerning the sprotty-protocol package
wontfix
wontfix
This will not be worked on