511 |
@code{history-length} is @code{t}, though, there is no maximum length |
@code{history-length} is @code{t}, though, there is no maximum length |
512 |
and elements are never deleted. |
and elements are never deleted. |
513 |
|
|
514 |
|
@vindex history-delete-duplicates |
515 |
|
The variable @code{history-delete-duplicates} specifies whether to |
516 |
|
delete duplicates in history. If the value of @code{history-delete-duplicates} |
517 |
|
is @code{t}, that means when adding a new history element, all |
518 |
|
previous identical elements are deleted. |
519 |
|
|
520 |
@node Repetition |
@node Repetition |
521 |
@section Repeating Minibuffer Commands |
@section Repeating Minibuffer Commands |
522 |
@cindex command history |
@cindex command history |