Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
This repository was archived by the owner on Oct 22, 2021. It is now read-only.

No labels!

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

conclusion: declined
conclusion: declined
This will not be worked on
conclusion: duplicate
conclusion: duplicate
This issue or pull request already exists
conclusion: invalid
conclusion: invalid
This doesn't seem right
help wanted
help wanted
Extra attention is needed
os: linux
os: linux
os: macos
os: macos
os: windows
os: windows
status: waiting for information
status: waiting for information
issues that require more info from the author
topic: CLI
topic: CLI
Anything that has to implemented on the CLI side first
topic: debugger
topic: debugger
Anything related to debugging: UI, DAP, etc
topic: documentation
topic: documentation
Improvements or additions to documentation
topic: language server
topic: language server
The language server is responsible for "editor support", e.g. completion and diagnostics
topic: serial monitor
topic: serial monitor
topic: theia
topic: theia
Theia IDE related issues
topic: theme
topic: theme
Issues related to color themes
type: enhancement
type: enhancement
New feature or request
type: imperfection
type: imperfection
Something isn't working
type: support
type: support
Further information is requested
Morty Proxy This is a proxified and sanitized view of the page, visit original site.