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@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev