On 6/7/24 14:49, José Matos wrote:
On Fri, 2024-06-07 at 13:50 -0400, Richard Kimberly Heck wrote:
I think this was meant to be handled in the prefs2prefs script. Check
the file prefs2prefs_prefs.py, especially the add_dark_color routine.
Riki
Isn't prefs2prefs run directly over the preferences?
It is meant to be, yes. What it does at the moment is simply copy the
primary color as the new dark color. At least, that's what it's meant to do.
Riki
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
