Subject: RE: bug#30397: Random numbers in grep mode-line

From: Drew Adams <[email-masked]>
Date: Fri, 9 Feb 2018 07:43:21 -0800 (PST)

> Maybe we should modify the display for Grep, e.g. show only one
> number, and use a distinct face that doesn't display as red by
> default.

Probably, yes.  It is especially for `grep' that the
indications are not so clear or helpful (the last two).