Am Dienstag, den 18.02.2020, 08:37 +0100 schrieb Stephan Witt: > While we are at it - I think it’s a feature and not a bug: > the change in preferences is not applied until next restart. > > The preferences dialog suggests another behavior. The checkbox > „Apply to current session only“ makes one think it’s applied > immediately.
Yes, it is not possible (currently) to disable this checkbox if (only) prefs which need restart have been changed (we would need to flag such prefs). Jürgen
signature.asc
Description: This is a digitally signed message part
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
