Am Tue, 19 Jul 2022 10:43:41 +0200 schrieb Jean-Marc Lasgouttes <lasgout...@lyx.org>:
> Le 19/07/2022 à 10:36, Kornel Benko a écrit :
> > Why not simply ignore the second part, so that
> > \unbind "xyzzy" "some (non) emty string"
> > would still work.
>
> Yes, I thought about that. It is not really clean, though :)
Yes, but with least struggle.
Besides, we can later think about a cleaner solution.
> I can do it right now, but I would not want this to stay like that.
>
> JMarc
The only drawback I see is when there are more than one binding to a key.
Kornel
pgpXGxKxYAZyb.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
