diff options
| author | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-08-26 10:18:49 -0400 |
|---|---|---|
| committer | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-08-26 10:19:59 -0400 |
| commit | 74ea70325e4daca321a0932828f236ea8c77f2ec (patch) | |
| tree | 5254890d82c96acb369d17006467b38af8e16b04 /misc | |
| parent | dcf0ee2a22e655fe918f58f13eefb6cf240baecc (diff) | |
Add option to disable document links
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/ols.schema.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/misc/ols.schema.json b/misc/ols.schema.json index 3ec252d..3bd2489 100644 --- a/misc/ols.schema.json +++ b/misc/ols.schema.json @@ -80,6 +80,11 @@ "description": "Turn on fake methods completion.", "default": false }, + "enable_document_links": { + "type": "boolean", + "description": "Follow links when opening documentation.", + "default": true + }, "disable_parser_errors": { "type": "boolean" }, "verbose": { "type": "boolean", |