summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorw0rp <devw0rp@gmail.com>2017-02-16 21:33:44 +0000
committerw0rp <devw0rp@gmail.com>2017-02-16 21:33:44 +0000
commitca17b5aebdd9bb2e31d01ae16e18047bae375c3c (patch)
tree9c71ffb6e95acca17f4eddaebe79dab87beb256e /doc
parent3a2286a1b8d8b2004b0a10656192b6823a89f690 (diff)
downloadale-ca17b5aebdd9bb2e31d01ae16e18047bae375c3c.zip
Add an option for completely disabling command history, and add documentation
Diffstat (limited to 'doc')
-rw-r--r--doc/ale.txt26
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|