GNU bug report logs - #39145
28.0.50; dired: Show broken/circular links in different font

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Tino Calancha <tino.calancha <at> gmail.com>
Cc: rgm <at> gnu.org, stefan <at> marxist.se, jidanni <at> jidanni.org, 39145 <at> debbugs.gnu.org, larsi <at> gnus.org, uyennhi.qm <at> gmail.com
Subject: bug#39145: 28.0.50; dired: Show broken/circular links in different font
Date: Thu, 27 Aug 2020 12:03:04 +0300

> From: Tino Calancha <tino.calancha <at> gmail.com>
> Cc: rgm <at> gnu.org,  stefan <at> marxist.se,  jidanni <at> jidanni.org,
>   39145 <at> debbugs.gnu.org,  larsi <at> gnus.org,  uyennhi.qm <at> gmail.com
> Date: Thu, 27 Aug 2020 10:30:18 +0200
> 
> I only have one doubt remaining:
> 
> 1. Should I add a variable to disable/enable this feature
> (enable by default)
> 
> 2. Or just use the patch from this thread, i.e, unconditionaly add the feature
> without variable
> 
> What do you prefer?

You mean, whether the special face should be conditional?  I don't see
any reason for that.  And anyway, if we make this on by default,
disabling that is as easy as customizing the new face, so an extra
option is not justified.

Thanks.

Previous Next

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