[VS Code] As a user, I want keywords to be highlighted with different colours in Java when adding JML.
pandasansgains opened this issue · 0 comments
pandasansgains commented
Within the VS Code IDE when activating the extension and having a JAVA file open with valid JML annotations
Goal:
Keywords are highlighted in JAVA in all code (Including comments)
Keywords in JML can be found in this article