Remove duplicate history entries in command buffer

[Kornel Benko]

Am Mon, 11 Jul 2022 13:37:31 +0200
schrieb Pavel Sanda <sanda at lyx.org>:

> On Mon, Jul 11, 2022 at 10:53:23AM +0200, Kornel Benko wrote:
> > So the outcome may be a new preference?  
> 
> Please no.
> 
> Pavel

What is your preference?

	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/20220711/bdeb3167/attachment.asc>