diff options
| author | w0rp <devw0rp@gmail.com> | 2020-08-28 09:52:36 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-08-28 09:54:43 +0100 |
| commit | b8c0ac2e6126d2245f4281c286387b4dd1847178 (patch) | |
| tree | 68c64e378182472622f41fd24f3083b4b7ed353b /doc | |
| parent | 68741204059d56ffcb4229ec433edf5f9fc4e8c7 (diff) | |
| download | ale-b8c0ac2e6126d2245f4281c286387b4dd1847178.zip | |
Close #3309 - Add b:ale_lint_delay
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index f2f77a83..14d2abbe 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1172,7 +1172,7 @@ g:ale_list_window_size *g:ale_list_window_size* g:ale_lint_delay *g:ale_lint_delay* - + *b:ale_lint_delay* Type: |Number| Default: `200` @@ -1180,6 +1180,9 @@ g:ale_lint_delay *g:ale_lint_delay* be run after text is changed. This option is only meaningful with the |g:ale_lint_on_text_changed| variable set to `always`, `insert`, or `normal`. + A buffer-local option, `b:ale_lint_delay`, can be set to change the delay + for different buffers, such as in |ftplugin| files. + g:ale_lint_on_enter *g:ale_lint_on_enter* |