Remove duplicate history entries in command buffer
Pavel Sanda
sanda at lyx.org
Mon Jul 11 11:37:31 UTC 2022
On Mon, Jul 11, 2022 at 10:53:23AM +0200, Kornel Benko wrote:
> So the outcome may be a new preference?
Please no.
Pavel
More information about the lyx-devel
mailing list