Add Missing is not working - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Add Missing is not working #93

Closed amryounis closed 1 year ago

amryounis commented 1 year ago

Choosing "Add Missing" command produces empty lines in the document