From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: :extend face attribute at EOB without end-of-line char Date: Tue, 15 Oct 2019 11:27:10 +0300 Message-ID: <83mue2h0rl.fsf@gnu.org> References: <20191014163219.dieg73u73onqsgyt@Ergus> <83ftjvi4yp.fsf@gnu.org> <83a7a3hzxw.fsf@gnu.org> <838spnhz64.fsf@gnu.org> <83zhi2h6up.fsf@gnu.org> Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="26465"; mail-complaints-to="usenet@blaine.gmane.org" Cc: spacibba@aol.com, emacs-devel@gnu.org To: Juanma Barranquero Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Oct 15 10:28:07 2019 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iKIBa-0006jN-1j for ged-emacs-devel@m.gmane.org; Tue, 15 Oct 2019 10:28:06 +0200 Original-Received: from localhost ([::1]:37212 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iKIBY-0001tC-Gr for ged-emacs-devel@m.gmane.org; Tue, 15 Oct 2019 04:28:04 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:57312) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iKIAp-0001qV-Pe for emacs-devel@gnu.org; Tue, 15 Oct 2019 04:27:20 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:42670) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iKIAp-0000jH-L3; Tue, 15 Oct 2019 04:27:19 -0400 Original-Received: from [176.228.60.248] (port=1279 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iKIAm-0004pA-Sa; Tue, 15 Oct 2019 04:27:18 -0400 In-reply-to: (message from Juanma Barranquero on Tue, 15 Oct 2019 10:10:21 +0200) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:241038 Archived-At: > From: Juanma Barranquero > Date: Tue, 15 Oct 2019 10:10:21 +0200 > Cc: spacibba@aol.com, Emacs developers > > > 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.