diff options
| author | Daniel Gavin <daga@foa.dk> | 2024-04-25 10:17:42 +0200 |
|---|---|---|
| committer | Daniel Gavin <daga@foa.dk> | 2024-04-25 10:17:42 +0200 |
| commit | 1f33639cb5b96453b83c17a7830e4f7d645a18b9 (patch) | |
| tree | d4496c8a966e8c1e1aff5dcfb1d2f4218afbccdf /misc | |
| parent | d0afaf154d20bbc162403b0ddb2d46b597d95acf (diff) | |
New config to only call check on saved package.
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/ols.schema.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/misc/ols.schema.json b/misc/ols.schema.json index 3fbc0d2..04b1006 100644 --- a/misc/ols.schema.json +++ b/misc/ols.schema.json @@ -13,6 +13,10 @@ } }, "thread_pool_count": { "type": "integer" }, + "enable_checker_only_saved": { + "type": "boolean", + "description": "Turns on only calling the checker on the package being saved" + }, "enable_semantic_tokens": { "type": "boolean", "description": "Turns on syntax highlighting." |