Merge branch 'master' into master

This commit is contained in:
Harshit Sharma 2025-05-21 20:50:57 +05:30 committed by GitHub
commit e1165ad90b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 42 additions and 31 deletions

View file

@ -51,7 +51,7 @@ return {
-- Only run the linter in buffers that you can modify in order to
-- avoid superfluous noise, notably within the handy LSP pop-ups that
-- describe the hovered symbol using Markdown.
if vim.opt_local.modifiable:get() then
if vim.bo.modifiable then
lint.try_lint()
end
end,