[Texmacs-dev] ornament-{top,bottom,left,right}-color

[Sam Liddicott]

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?