Subject: bug#26909: 25.1; A face for margins

From: Lars Ingebrigtsen <[email-masked]>
Date: Thu, 01 Oct 2020 04:49:22 +0200

Clément Pit-Claudel <[email-masked]> 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