Today I'll be hacking in
ornament-top-color ornament-bottom-color ornament-left-color and ornament-right-color
falling back to existing ornament-sunny-color and ornament-shadow-color
falling back to existing ornament-color
and probably also
ornament-top-border, ornament-bottom-border, ornament-left-border, ornament-right-border
falling back to new ornament-sunny-border and ornament-shadow-border
falling back to existing ornament-border
Any comments or objections? Is such a patch likely to be received?
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@...
https://lists.gnu.org/mailman/listinfo/texmacs-dev
