diff options
author | w0rp <devw0rp@gmail.com> | 2017-08-09 00:05:55 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-08-09 00:05:55 +0100 |
commit | 670858f7743ad42ee83d6f9aab162b16069e4395 (patch) | |
tree | 0001bd18c3ee2eb231856535c47a1d31e9b0aaa4 /doc | |
parent | ac8cc6d9911376472ed85928f15b89a7cfa62516 (diff) | |
download | ale-670858f7743ad42ee83d6f9aab162b16069e4395.zip |
Fix #468 - Add a cool down period for when things go wrong
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 0550e4de..b0323f85 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1180,6 +1180,12 @@ ale#Queue(delay, [linting_flag, buffer_number]) *ale#Queue()* An optional `buffer_number` argument can be given for specifying the buffer to check. The active buffer (`bufnr('')`) will be checked by default. + *ale-cool-down* + If an exception is thrown when queuing/running ALE linters, ALE will enter + a cool down period where it will stop checking anything for a short period + of time. This is to prevent ALE from seriously annoying users if a linter + is broken, or when developing ALE itself. + ale#engine#CreateDirectory(buffer) *ale#engine#CreateDirectory()* |