search

meraymond2 / idris-vscode

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

Start ide proc with no-color flag #59

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

The 0.4.0 version has added ANSI color codes to the IDE output, which doesn't display well in VS, but it is easy to disable.