Skip to content

No labels!

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

40 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
topic: documentation
topic: documentation
Related to documentation for the project
13
topic: infrastructure
topic: infrastructure
Related to project infrastructure
42
topic: language server
topic: language server
Related to the Arduino Language Server
20
topic: security
topic: security
Related to the protection of user data
6
topic: serial monitor
topic: serial monitor
Related to the Serial Monitor
45
topic: theia
topic: theia
Related to the Theia IDE framework
16
topic: theme
topic: theme
Related to GUI theming
15
type: enhancement
type: enhancement
Proposed improvement
190
type: imperfection
type: imperfection
Perceived defect in any part of project
339
type: support
type: support
OT: Request for help using the project