GNU bug report logs - #26909
25.1; A face for margins

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Clément Pit-Claudel <cpitclaudel <at> gmail.com>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 26909 <at> debbugs.gnu.org, Yuri Khan <yuri.v.khan <at> gmail.com>
Subject: bug#26909: 25.1; A face for margins
Date: Thu, 01 Oct 2020 04:49:22 +0200

Clément Pit-Claudel <cpitclaudel <at> gmail.com> writes:

> The (silly) attached patch confirms that removing the short-circuits
> makes it possible to set a face in the margins, but besides the
> performance aspect it only applies to lines that have contents.
>
> Is this a reasonable way to go? If not, what might be better way?

Skimming this thread, it seems the general agreement was that this would
be the way to go (but with some changes in how the faces were handled).
Clément, did you proceed further with this change?

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.