I think the overline and underline face options could be
color, style, position where position is one of "top", "ascent" for overline and one of "base", "descent", "bottom" for underline.



Sent with Proton Mail secure email.

------- Original Message -------
On Tuesday, July 5th, 2022 at 8:25 PM, Lars Ingebrigtsen <larsi@gnus.org> wrote:


> Po Lu luangruo@yahoo.com writes:
> 

> > Instead of making it a user option, how about making it an attribute for
> > the `:overline' face property?
> 

> 

> Yes, sounds like a good idea.
> 

> --
> (domestic pets only, the antidote for overdose, milk.)
> bloggy blog: http://lars.ingebrigtsen.no