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.

Sign up for GitHub

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

Jump to bottom

Option to disable lint #7

Closed
nodgear opened this issue Aug 21, 2020 · 2 comments
Closed

Option to disable lint #7

nodgear opened this issue Aug 21, 2020 · 2 comments

Comments

@nodgear
Copy link

nodgear commented Aug 21, 2020

Using the extension to deal with GLua, which is a LUA api for GMOD.
The lint constantly shows errors about GLua syntax implementations (! instead of not) (|| instead of or).

Would be nice to have an option to completly disable warns on linting.
@nodgear nodgear closed this as completed Sep 7, 2020
@yinfei8
Copy link
Collaborator

yinfei8 commented Sep 12, 2020

If you want to ignore this kind of warning, you can cancel it.
image

@nodgear
Copy link
Author

nodgear commented Sep 12, 2020

Yes, i kinda figured out and disabled on json settings.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@yinfei8 @nodgear