Labels

• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• fixed in VDMJ

  Fixed, but awaiting integration of VDMJ into extension
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• improvement

  Improves on functionality that already exists
• invalid

  This doesn't seem right
• question

  Further information is requested
• UI bug

  Something isn't working in the VSCode UI
• VDMJ bug

  Something is wrong in the LSP/DAP servers or VDMJ itself
• VSC API limit

  Not currently available in the VS Code API
• wontfix

  This will not be worked on