diff options
| author | Juri Linkov <[email protected]> | 2004-09-08 20:14:47 +0000 |
|---|---|---|
| committer | Juri Linkov <[email protected]> | 2004-09-08 20:14:47 +0000 |
| commit | fbb2f03dc88a24097039253884d9809e227a761e (patch) | |
| tree | 563fa0a5ac31bf9ad56c2f6ca8d43e62ebc16278 /man/mini.texi | |
| parent | 0da4d471d931cc4454544fd64a18fcc6f1183a14 (diff) | |
(Minibuffer History): Add `history-delete-duplicates'.
Diffstat (limited to 'man/mini.texi')
| -rw-r--r-- | man/mini.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/man/mini.texi b/man/mini.texi index 040306ba04..ec82c6d4f8 100644 --- a/man/mini.texi +++ b/man/mini.texi @@ -511,6 +511,12 @@ is deleted each time an element is added. If the value of @code{history-length} is @code{t}, though, there is no maximum length and elements are never deleted. +@vindex history-delete-duplicates + The variable @code{history-delete-duplicates} specifies whether to +delete duplicates in history. If the value of @code{history-delete-duplicates} +is @code{t}, that means when adding a new history element, all +previous identical elements are deleted. + @node Repetition @section Repeating Minibuffer Commands @cindex command history |