# HG changeset patch
# User Juri Linkov <juri@jurta.org>
# Date 1094674487 0
# Node ID 9f99ae07c45284c72edb8c6b1478bd2fe3e23ec8
# Parent  eda556d106c6d9d6e4b1caef8a71ee135f0a92f4
(Minibuffer History): Add `history-delete-duplicates'.

diff -r eda556d106c6 -r 9f99ae07c452 lispref/minibuf.texi
--- a/lispref/minibuf.texi	Wed Sep 08 20:06:13 2004 +0000
+++ b/lispref/minibuf.texi	Wed Sep 08 20:14:47 2004 +0000
@@ -450,7 +450,8 @@
 @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
@@ -459,6 +460,11 @@
 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:
 
 @defvar minibuffer-history
diff -r eda556d106c6 -r 9f99ae07c452 man/mini.texi
--- a/man/mini.texi	Wed Sep 08 20:06:13 2004 +0000
+++ b/man/mini.texi	Wed Sep 08 20:14:47 2004 +0000
@@ -511,6 +511,12 @@
 @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