This is part of PrefColorsUi.ui, but is not handled there. See attached. It looks not better in another language.
Kornel
pgp8XJqrih1wW.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
