From fbb2f03dc88a24097039253884d9809e227a761e Mon Sep 17 00:00:00 2001 From: Juri Linkov Date: Wed, 8 Sep 2004 20:14:47 +0000 Subject: [PATCH] (Minibuffer History): Add `history-delete-duplicates'. --- lispref/minibuf.texi | 8 +++++++- man/mini.texi | 6 ++++++ 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/lispref/minibuf.texi b/lispref/minibuf.texi index 7b762a654e6..1b076c5837d 100644 --- a/lispref/minibuf.texi +++ b/lispref/minibuf.texi @@ -450,13 +450,19 @@ delete old elements if the list gets too long. The variable @code{history-length} specifies the maximum length for most history lists. To specify a different maximum length for a particular history list, put the length in the @code{history-length} property of the -history list symbol. +history list symbol. The variable @code{history-delete-duplicates} +specifies whether to delete duplicates in history. @defvar history-length The value of this variable specifies the maximum length for all history lists that don't specify their own maximum lengths. If the value is @code{t}, that means there no maximum (don't delete old elements). +@end defvar + +@defvar history-delete-duplicates +If the value of this variable is @code{t}, that means when adding a +new history element, all previous identical elements are deleted. @end defvar Here are some of the standard minibuffer history list variables: diff --git a/man/mini.texi b/man/mini.texi index 040306ba041..ec82c6d4f88 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