diff options
author | w0rp <devw0rp@gmail.com> | 2017-03-06 23:15:28 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-03-06 23:15:34 +0000 |
commit | 75a2dc5ff5f1975b1a80b59704ffdfd1902b050f (patch) | |
tree | 71d0eea5647cccaceda29757af7ca292c536bfd8 /doc | |
parent | 70fb1606adbbcfd29ba54b22f9b85fa8e3bd8e64 (diff) | |
download | ale-75a2dc5ff5f1975b1a80b59704ffdfd1902b050f.zip |
Complain loudly when other conflicting plugins are installed
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 1660ecd5..2fe3ad8a 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -187,6 +187,15 @@ g:ale_echo_msg_warning_str *g:ale_echo_msg_warning_str* Note |`g:ale_echo_msg_format`| should contain the `%severity%` handler +g:ale_emit_conflict_warnings *g:ale_emit_conflict_warnings* + + Type: |Number| + Default: `1` + + When set to `0`, ALE will not emit any warnings on startup about conflicting + plugins. ALE will probably not work if other linting plugins are installed. + + g:ale_enabled *g:ale_enabled* Type: |Number| |