Remove duplicate history entries in command buffer

[Kornel Benko]

Am Sun, 10 Jul 2022 18:08:06 +0200
schrieb Jean-Marc Lasgouttes <lasgouttes.lyx.org at free.fr>:

> Le 10/07/2022 à 15:23, Kornel Benko a écrit :
> > Like this? Feel free to make it simpler.
> 
> Rather like this. Note that your patch did not avoid duplicates on the 
> command list available from the up arrow icon. There are indeed two 
> lists that are more or less kept in sync. What a mess.
> 
> What do you think? It does not remove duplicates in the whole list, but 
> I believe that this is how it should work.
> 
> JMarc
> 

I don't get it.
1.) I like the rim(), was about to use it too ... but was unsure if sometimes
    one needs spaces at end.
2.) If I understand correctly, the your patch only omits repetition of the last command.
    But in the history there may be more of them

What did I miss?

	Kornel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 488 bytes
Desc: Digitale Signatur von OpenPGP
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20220710/9f24132c/attachment-0001.asc>