Remove duplicate history entries in command buffer

[Jean-Marc Lasgouttes]

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.

>> 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