Remove console width - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Remove console width #50

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

The bug that made this flag necessary has been fixed in Idris2, so I'm removing it. See https://github.com/meraymond2/idris-vscode/pull/30