Skip to content
This repository has been archived by the owner on Nov 24, 2021. It is now read-only.

Annotate errors in editor #9

Open
Jeffail opened this issue May 25, 2019 · 0 comments
Open

Annotate errors in editor #9

Jeffail opened this issue May 25, 2019 · 0 comments
Labels
client Issues related to the web client enhancement New feature or request

Comments

@Jeffail
Copy link
Member

Jeffail commented May 25, 2019

Let's try and annotate linting or compilation errors in the editor window.
@Jeffail Jeffail added client Issues related to the web client enhancement New feature or request labels May 25, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
client Issues related to the web client enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Jeffail