Input history deduplication #37

Open

CookenMonster wants to merge 1 commit from github/fork/farlepet/history-deduplication into master

2024-11-10

Peter Farley

Input history deduplication

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.

7a612b8a0c

2024-11-10 10:39:24 -06:00