Am Dienstag, dem 05.09.2023 um 15:19 +0200 schrieb Jean-Marc Lasgouttes: > Indeed, this is why I thought we may want to have this > unconditionally as early as possible; It cannot hurt, as I see it.
I agree that this is a good idea. Just wondering whether it should be done next to the current fix which does a bit more for inset buttons (see my other comment on why I like that). -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel