(Minibuffer History): Add `history-delete-duplicates'.

diff --git a/lispref/minibuf.texi b/lispref/minibuf.texi
index 7b762a654e68784f81a4153a6ef5ba5427834281..1b076c5837d22a1fab2386226a46e150a5cd832c 100644 (file)
--- 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 040306ba041b629e5670068abe78e66c8c5c6cb9..ec82c6d4f885d6fe17fb9b0a72610d8a73e338c1 100644 (file)
--- 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