GNU bug report logs - #44689
28.0.50; Use appropriate face for Flymake unknown backend

Previous Next

Full log

Message #32 received at 44689 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: João Távora <joaotavora <at> gmail.com>
Cc: 44689 <at> debbugs.gnu.org, Protesilaos Stavrou <info <at> protesilaos.com>
Subject: Re: bug#44689: 28.0.50; Use appropriate face for Flymake unknown
 backend
Date: Tue, 24 Nov 2020 06:23:33 +0100

João Távora <joaotavora <at> gmail.com> writes:

> Yes, I am totally fine with changing the face, or using some other
> character to indicate this situation. I just don't see it as super
> priority because it's an odd setting to have, in my opinion, but
> patches welcome.

I'm now just removed the face from the "?", which makes it look OK in
both active and inactive windows.

-- 
(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.