v0.0.9 - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

58 stars 10 forks source link

v0.0.9 #51

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

0.0.9

Added

Changed

Don't try to execute v2 commands if not in v2 mode, show warning instead.
Stop passing console width flag to Idris 2 proc, as no longer needed.
Fixed
Fix bug where VS couldn't insert past end of document.
Change the function_signature highlighting rule to add fewer scopes, fixing the highlighting of case statements within the signature.