Am Montag, dem 30.10.2023 um 03:48 +0000 schrieb Isaac Oscar Gariano: > Sorry for bothering you again, I'm just curious if this is an > intentional design decision as it's really annoying me.
It's the result of a bug fix: https://www.lyx.org/trac/ticket/10370 Here's the respective change: https://www.lyx.org/trac/changeset/6c4afc1ccb9030/lyxgit -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
