diff options
| author | w0rp <devw0rp@gmail.com> | 2018-02-25 12:57:54 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-02-25 12:57:54 +0000 |
| commit | 478a2883a6c75e888bce2b0e7c800d5d8990f29e (patch) | |
| tree | bd18537682b39659aca13f8e0dc1955554208f22 /doc | |
| parent | 0ddf16194d8f1b272127c5a6b2d84b5345757b17 (diff) | |
| download | ale-478a2883a6c75e888bce2b0e7c800d5d8990f29e.zip | |
#1363 Make ale#engine#IsCheckingBuffer part of the public API
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 999d2af4..fd3e4897 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1907,6 +1907,13 @@ ale#engine#GetLoclist(buffer) *ale#engine#GetLoclist()* be copied before applying |map()| or |filter()|. +ale#engine#IsCheckingBuffer(buffer) *ale#engine#IsCheckingBuffer()* + + Given a buffer number, returns `1` when ALE is busy checking that buffer. + + This function can be used for status lines, tab names, etc. + + ale#engine#ManageFile(buffer, filename) *ale#engine#ManageFile()* Given a buffer number for a buffer currently running some linting tasks |