diff options
| author | Horacio Sanson <horacio@allm.net> | 2019-09-25 17:15:16 +0900 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2019-09-25 09:15:16 +0100 |
| commit | 41ff80dc9ec2cc834cc8c4aaa753e308223d48b8 (patch) | |
| tree | 0d52576f45776d2891c6fbc536ca2bc90ab16bfb /doc | |
| parent | 6746eaeaa0a02fbd101c7ae367aaa2fb62378368 (diff) | |
| download | ale-41ff80dc9ec2cc834cc8c4aaa753e308223d48b8.zip | |
569 support vim sign group and priority (#2786)
* Use sign-group only on supported vim versions.
The sign-group feature is only available in nvim 0.4.0 and vim 8.1.614.
* Add priority to ALE signs.
This allows users to set a priority to ALE signs to take precedence over
other plugin signs.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index e7ffba36..b368afd3 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1543,6 +1543,16 @@ g:ale_set_signs *g:ale_set_signs* To limit the number of signs ALE will set, see |g:ale_max_signs|. +g:ale_sign_priority *g:ale_sign_priority* + + Type: |Number| + Default: `30` + + From Neovim 0.4.0 and Vim 8.1, ALE can set sign priority to all signs. The + larger this value is, the higher priority ALE signs have over other plugin + signs. See |sign-priority| for further details on how priority works. + + g:ale_shell *g:ale_shell* Type: |String| |