Remove duplicate history entries in command buffer

[Kornel Benko]

Am Tue, 12 Jul 2022 22:56:56 +0200
schrieb Jean-Marc Lasgouttes <lasgouttes.lyx.org at free.fr>:

> Le 12/07/2022 à 22:19, Jean-Marc Lasgouttes a écrit :
> > I won't complain more about removing from the whole history, but the 
> > original patch will need to be updated.

I planned to commit your and mine patch. What else do you have in mind?

> > I suspect that the two command 
> > lists should be unified.  

Maybe in 2.5?

> I just discovered that the sexy and fast way of removing a string from a 
> vector of strings is the erase-remove idiom:
> https://en.wikipedia.org/wiki/Erase%E2%80%93remove_idiom
> 
> JMarc
> 

Only valid for c++20.

	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/20220713/3331f63a/attachment.asc>