Am Freitag, dem 21.02.2025 um 15:54 +0100 schrieb Pavel Sanda: > Yes, would be probably better. Or add button with color next to the > new name. No hard opinion.
I went with the former. The latter would maybe irritate people as the color can also be changed for any custom color already in the list (also by double-click BTW). -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
