Remove duplicate history entries in command buffer

[Jean-Marc Lasgouttes]

Le 10/07/2022 à 11:46, Kornel Benko a écrit :
> While testing, using history in command buffer for some often repeated lyx-functions
> is often made difficult when the previous (but not now desired) command
> was repeated.
> 
> Objections?

I like it, but I would make it simpler, like
if (not already the last in history)
     push(new command);

JMarc