Remove duplicate history entries in command buffer

[Jean-Marc Lasgouttes]

Le 13/07/2022 à 11:24, Kornel Benko a écrit :
> 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.

Here is a patch, which nicely removes more lines than it adds.

You can see the erase-remove idiom in action in LastCommandSection::add().

Please test.

JMarc

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Avoid-duplicates-in-minibuffer-history.patch
Type: text/x-patch
Size: 7855 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20220713/848a367a/attachment-0001.bin>