diff options
| author | Gregory Anders <8965202+gpanders@users.noreply.github.com> | 2021-10-01 19:07:55 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-01 19:07:55 -0600 |
| commit | 36408146ad7b2f3dafa260b765e0b7afcdc7c0dc (patch) | |
| tree | 41e836221af3dab8184a91535d1b4566c049e0d0 /runtime/doc | |
| parent | dc4670038e0441dfda7ba11c519b834624a1f6fd (diff) | |
| download | rneovim-36408146ad7b2f3dafa260b765e0b7afcdc7c0dc.tar.gz rneovim-36408146ad7b2f3dafa260b765e0b7afcdc7c0dc.tar.bz2 rneovim-36408146ad7b2f3dafa260b765e0b7afcdc7c0dc.zip | |
docs(diagnostics): add "priority" option to signs table (#15860)
This feature was added in #15785, but the docs for
vim.diagnostic.config() weren't updated.
Diffstat (limited to 'runtime/doc')
| -rw-r--r-- | runtime/doc/diagnostic.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/runtime/doc/diagnostic.txt b/runtime/doc/diagnostic.txt index 679bb2f7ff..586ce02b2e 100644 --- a/runtime/doc/diagnostic.txt +++ b/runtime/doc/diagnostic.txt @@ -253,6 +253,12 @@ config({opts}, {namespace}) *vim.diagnostic.config()* • severity: Only show signs for diagnostics matching the given severity |diagnostic-severity| + • priority: (number, default 10) Base + priority to use for signs. When + {severity_sort} is used, the priority of + a sign is adjusted based on its severity. + Otherwise, all signs use the same + priority. • update_in_insert: (default false) Update diagnostics in Insert mode (if false, |