Input history deduplication #2
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "history-deduplication"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
If the entered input is the same as the previous item in the history,
the history remains unmodified. If the item was seen previously, history
is re-arranged to bring that item to the front.