Remove duplicate history entries in command buffer

[Kornel Benko]

Am Wed, 13 Jul 2022 11:14:53 +0200
schrieb Jean-Marc Lasgouttes <lasgouttes.lyx.org at free.fr>:

> Le 13/07/2022 à 09:43, Kornel Benko a écrit :
> >>> I suspect that the two command
> >>> lists should be unified.  
> > 
> > Maybe in 2.5?  
> 
> I'll have a look.

Thanks.

> >> 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  
> > 
> > Only valid for c++20.  
> 
> What is only C++20 is the std::erase with specializations, but 
> vector::erase seems to work with older versions.
> 
> JMarc

Yes, I was referring 'erase-remove'.

	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/5c3a803b/attachment.asc>