[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#30397: Random numbers in grep mode-line

From: Drew Adams
Subject: bug#30397: Random numbers in grep mode-line
Date: Sat, 10 Feb 2018 14:01:38 -0800 (PST)

> Yes, some adjustment is needed for grep.  That reminded me
> about two unclosed feature requests: bug#13417 and bug#14017
> that proposed to display these numbers also at the bottom of
> output buffers.  But the showstopper was to decide on the
> final format of such messages.  Although this looks good:
>   Grep finished with 42 matches in 5 lines at Thu Jul 21 15:02:15
> Than the mode-line will display two numbers: the number of matches
> and the number of matching lines (in green).

Is the total number of lines (in the search space) also
available?  If so, would that be useful?  Maybe something
like this?

Grep finished at Thu Jul 21 15:02:15 - 42 matches in 5/113 lines 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]