diff options
author | w0rp <devw0rp@gmail.com> | 2017-02-16 21:33:44 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-02-16 21:33:44 +0000 |
commit | ca17b5aebdd9bb2e31d01ae16e18047bae375c3c (patch) | |
tree | 9c71ffb6e95acca17f4eddaebe79dab87beb256e /doc | |
parent | 3a2286a1b8d8b2004b0a10656192b6823a89f690 (diff) | |
download | ale-ca17b5aebdd9bb2e31d01ae16e18047bae375c3c.zip |
Add an option for completely disabling command history, and add documentation
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale.txt | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 8b14cfdd..0922abc5 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -186,6 +186,19 @@ g:ale_enabled *g:ale_enabled* the |ALEToggle| command, which changes this option. +g:ale_history_enabled *g:ale_history_enabled* + + Type: |Number| + Default: `1` + + When set to `1`, ALE will remember the last few commands which were run + for every buffer which is open. This information can be viewed with the + |ALEInfo| command. The size of the buffer can be controlled with the + |g:ale_max_buffer_history_size| option. + + This option can be disabled if storing a command history is not desired. + + g:ale_keep_list_window_open *g:ale_keep_list_window_open* Type: |Number| @@ -311,6 +324,19 @@ g:ale_linters *g:ale_linters* let g:ale_linters = {'c': 'all'} < +g:ale_max_buffer_history_size *g:ale_max_buffer_history_size* + + Type: |Number| + Default: `20` + + This setting controls the maximum number of commands which will be stored in + the command history used for |ALEInfo|. Command history will be rotated in + a FIFO manner. If set to a number <= 0, then the history will be + continuously set to an empty |List|. + + History can be disabled completely with |g:ale_history_enabled|. + + g:ale_open_list *g:ale_open_list* Type: |Number| |