diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-12-30 22:20:28 +0100 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2024-12-30 22:20:28 +0100 |
| commit | f53599650dc10ebd9a5cd85313ffff4b7b319be3 (patch) | |
| tree | 3f6e0362d8dc957d033e0c1a04a55812f420cec6 /misc | |
| parent | fded19fc8ede748d31b67686941fbe33a8f77214 (diff) | |
Add exclude path for workspace symbols.
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/ols.schema.json | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/misc/ols.schema.json b/misc/ols.schema.json index cc5941f..e038145 100644 --- a/misc/ols.schema.json +++ b/misc/ols.schema.json @@ -103,6 +103,13 @@ "items": { "type": "string" } + }, + "workspace_exclude_path": { + "type": "array", + "description": "List of paths that will be exldued from workspace symbol searches.", + "items": { + "type": "string" + } } }, "required": ["name", "checker_path"], |