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

Option to stop HTML linting #440

Open
PabloLION opened this issue May 17, 2022 · 6 comments
Open

Option to stop HTML linting #440

PabloLION opened this issue May 17, 2022 · 6 comments
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@PabloLION
Copy link

Is your feature request related to a problem? Please describe.
I'm always frustrated when I open a HTML file and it reports Possible typo: you repeated a whitespaceLanguageToolWHITESPACE_RULE., because of the space indentation I used.

Describe the solution you'd like
Having a "lint language ID" list. The extension lints only programming language in this list. We can add the current "MDX,markdown,html" to the list.

Additional context
Workaround: disable the extension.

@PabloLION PabloLION added the enhancement New feature or request label May 17, 2022
@davidlday davidlday added this to the Version 1.0 milestone Sep 23, 2022
@davidlday davidlday self-assigned this Sep 23, 2022
@davidlday
Copy link
Owner

Love this idea. Already have the ability to enable / disable plaintext, as well as list the language IDs for it. I can do the same form markdown, html, and mdx. I'm in the middle of doing some major structural changes, but will try to get to this next week. And apologies for the long day.

@PabloLION
Copy link
Author

Great. I'm not in hurry at all. I can help with a code review if it's needed.

@holtwick
Copy link

Any updates on this?

@davidlday
Copy link
Owner

Sorry - life got in the way. I had to scale back on my personal projects while settling in to a new job at a new firm. I expect to have time to get back to this in the next week or so. Yes, it's still planned and doable.

@holtwick
Copy link

Sorry, I didn't want to put any pressure on it, it is not so important.

Thanks for all the time you've put into the project. It is super useful for me, since I am the master of tipoo typo :)

@timmornYE
Copy link

Thanks for this very helpful plugin! Having the same Issue with html isn't it possible to just skip whitespace check for html documents if they start from the beginning of line?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

4 participants