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

Full directory scan #77

Open
rogermartensson opened this issue Mar 6, 2020 · 0 comments
Open

Full directory scan #77

rogermartensson opened this issue Mar 6, 2020 · 0 comments

Comments

@rogermartensson
Copy link

Not sure if this can be done.

I would like to be able to do a full directory scan (or workspace) to be able to see all the problems in the PROBLEMS tab without needing to open up every file in the editor.

This is of course an expensive action so I think this is best implemented as a Command that a user can invoke if need.

This I guess would need some visual feedback. Like issue #66.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants