Re: follow-link not on mouse-face

[Romain Francoise]

Juri Linkov <address@hidden> writes:

> I think the whole line should be highlighted including the line
> number, the colon and the matching line.  This also makes easier to
> see the line number of the matching line with moving the mouse pointer
> over the matching line part.

It is a trivial change.  Richard, what do you think?

-- 
Romain Francoise <address@hidden> | I've become someone else's
it's a miracle -- http://orebokech.com/ | nightmare...