Am Sonntag, den 02.08.2020, 10:30 +0200 schrieb Daniel: > I suggest to add bold to groupbox titles. This is > also how it is done in Libre Office and MS Office.
This is a style choice. Here (GTK Adwaita Style), they are bold. 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
