From 478a2883a6c75e888bce2b0e7c800d5d8990f29e Mon Sep 17 00:00:00 2001 From: w0rp Date: Sun, 25 Feb 2018 12:57:54 +0000 Subject: #1363 Make ale#engine#IsCheckingBuffer part of the public API --- doc/ale.txt | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'doc') 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 -- cgit v1.2.3