Re: :extend face attribute at EOB without end-of-line char

[Eli Zaretskii]

> From: Juanma Barranquero <address@hidden>
> Date: Tue, 15 Oct 2019 10:10:21 +0200
> Cc: address@hidden, Emacs developers <address@hidden>
> 
> > OK, but still, we'd need a rationale. 
> 
> I'm not sure what rationale would satisfy you. In my mind, the idea of 
> extending a face up to the margin of the
> window seems quite decoupled from whether that line has a newline at the end 
> or not. It's purely visual. If I'm
> using a face that extends in all lines, for example, I find weird that it 
> does or does not extend in the last one
> depending of a newline. (Again: I agree that's how it is defined now, I'm not 
> questioning that.)

Face extension is only a factor when it ends on the next line,
i.e. "covers" the newline that ends the line.  When there's no newline
at EOB, the face ends with the last character on the line, so IMO it
makes no sense to extend it, because what would such an extension
indicate?  When there's a newline, extending the face indicates that
the newline (which is otherwise invisible) is "covered" by the face.