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 :)

I can do it right now, but I would not want this to stay like that.

JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to