diff options
| author | Paul Emmerich <tandanu@deadlybossmods.com> | 2024-04-20 15:48:42 +0200 |
|---|---|---|
| committer | Paul Emmerich <tandanu@deadlybossmods.com> | 2024-04-20 15:48:42 +0200 |
| commit | a6cb075c57d63a7969abaa2042b52ae7ecdd711f (patch) | |
| tree | a5a87ebcf0edbcda65f018cc51f958f80acfa514 /script/file-uri.lua | |
| parent | d2ea5ee3732eee30736778201a88176592a74912 (diff) | |
| download | lua-language-server-a6cb075c57d63a7969abaa2042b52ae7ecdd711f.zip | |
Run diagnostics on unopened files when explicitly requested by the user
If I explicitly click on "Diagnose workspace" I would expect it to show
me *all* the diagnostics similar to how --check in a CI would check my
project.
This makes it easier for users to check their whole workspace after
making changes to some library or core function that potentially affects
a large number of files that are usually only checked once opened.
Diffstat (limited to 'script/file-uri.lua')
0 files changed, 0 insertions, 0 deletions