Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

async display of linting results (#190) #264

Merged
merged 1 commit into from
Aug 24, 2016

Conversation

jabooth
Copy link
Contributor

@jabooth jabooth commented Aug 24, 2016

Updates listing results on the fly as each linter reports rather than waiting for all at once (closing #190)

On a large file:
async_lint

@DonJayamanne DonJayamanne merged commit daea540 into DonJayamanne:master Aug 24, 2016
@DonJayamanne
Copy link
Owner

@jabooth , sweet and simple.


// Build the message and suffix the message with the name of the linter used
msgs.forEach(d => {
d.message = `${d.message}`;
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@DonJayamanne I kept this line from the previous code but it doesn't make sense to me - as d.message is a string, surely:

d.message === `${d.message}`

so this is a no-op?

@DonJayamanne
Copy link
Owner

@jabooth , ha ha... I know how that got in there. I just remove it. Thanks again

@jabooth
Copy link
Contributor Author

jabooth commented Aug 24, 2016

@DonJayamanne haha cool, no worries! Just wanted to check I wasn't missing something super subtle 😅

DonJayamanne added a commit that referenced this pull request Nov 21, 2017
* Fix microsoft/vscode#37627 (#1368)

* Version 0.7.0 of extension (#1381)

Archive of 0.7.0

* Update README.md

* Update README.md

* fix readme

* merged upstream

* disable linting upon extension load
DonJayamanne added a commit that referenced this pull request Nov 21, 2017
* upstream/master:
  Fix feedback service (#246)
  Fix django context initializer (#248)
  disable generation of tags file upon extension load (#264)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants