Remove duplicate history entries in command buffer

[Jean-Marc Lasgouttes]

Le 10/07/2022 à 22:05, Kornel Benko a écrit :
> So I was not clear enough. With 'duplicated' I meant anywhere in the history.
> 
> The (my) argument was seeing the session file full of the same commands
> spread all over the file, essentially shortening the maximum (different) commands
> possible.
> 
> I was testing findadv, the session file was full of 'regex-mode', 'unicode-insert, etc.

Does this cause actual issue, or is it just 'untidy'?

Repeated commands at the end are a pain, I agree with that. But further 
in past, they are a memory of useful command sequences.

JMarc