Labels

• topic: documentation

  Related to documentation for the project
• topic: infrastructure

  Related to project infrastructure
• topic: language server

  Related to the Arduino Language Server
• topic: security

  Related to the protection of user data
• topic: serial monitor

  Related to the Serial Monitor
• topic: theia

  Related to the Theia IDE framework
• topic: theme

  Related to GUI theming
• type: enhancement

  Proposed improvement
• type: imperfection

  Perceived defect in any part of project
• type: support

  OT: Request for help using the project