Subject: Re: bug#25096: shr: Add a customizable face for links after being clicked

From: Clément Pit--Claudel <[email-masked]>
Date: Sat, 3 Dec 2016 11:30:51 -0500

On 2016-12-03 10:41, Drew Adams wrote:
> In that case, I'd suggest that the subject line is misleading
> or inaccurate.  It says clearly (?) that it is about the
> _face_ for the link _after_ it has been clicked.
> 
> If it is instead about having some visual indication, _while_
> it is clicked (e.g., mouse-down), that the link _is being_
> clicked, then you might want to retitle the request.

In Firefox, that dotted box highlighting actually persists after the mouse button is released: it lasts until the next page has been displayed.