zjhmale / vscode-idris

Idris for Visual Studio Code
https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
BSD 3-Clause "New" or "Revised" License
106 stars 21 forks source link

Better representations of errors #23

Open zjhmale opened 7 years ago

zjhmale commented 7 years ago

Highlight Output Channel is pending on upstream issues:

Microsoft/vscode#586 Microsoft/vscode#11005

The original approach e3a1d6c to fix this can highlight messages in output channel indeed, but it will override some default behaviors of the output channel, e.g. we can no longer click the links inside output channel, even use registerDocumentLinkProvider

Another hacky approach html_views

zjhmale commented 7 years ago

We need more cute icons for idr, ibc and ipkg files, can you kindly offer some help here @be5invis? Thanks in advance 😄

zjhmale commented 7 years ago

Using a previewHtml is also a doable way but not good at designing and stylesheets.