meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
59 stars 10 forks source link

Implement v2 warnings for new cmds #42

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

It occurred to me that I forgot to unblock the :version command, which now works in V2 (mostly, as long as you've loaded a file already), and that I need to instead block the new V2 only commands if it's not in v2 mode.