[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#30397: Random numbers in grep mode-line
|
From: |
Noam Postavsky |
|
Subject: |
bug#30397: Random numbers in grep mode-line |
|
Date: |
Thu, 8 Feb 2018 18:00:39 -0500 |
On Thu, Feb 8, 2018 at 4:32 PM, Juri Linkov <juri@linkov.net> wrote:
> What was the goal of this feature and where it is documented?
`(emacs) Compilation' (and similar in etc/NEWS):
While compilation proceeds, the mode line is updated to show the
number of errors, warnings, and informational messages that have been
seen so far.
Perhaps it needs some adjustment for grep.
Original report: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25354
bug#30397: Random numbers in grep mode-line,
Noam Postavsky <=
- bug#30397: Random numbers in grep mode-line, Juri Linkov, 2018/02/10
- bug#30397: Random numbers in grep mode-line, Drew Adams, 2018/02/10
- bug#30397: Random numbers in grep mode-line, Juri Linkov, 2018/02/11
- bug#30397: Random numbers in grep mode-line, Drew Adams, 2018/02/11
- bug#30397: Random numbers in grep mode-line, Eli Zaretskii, 2018/02/12
- bug#30397: Random numbers in grep mode-line, Juri Linkov, 2018/02/12
bug#30397: Random numbers in grep mode-line, Richard Stallman, 2018/02/11
bug#30397: Random numbers in grep mode-line, Eli Zaretskii, 2018/02/12
bug#30397: Random numbers in grep mode-line, Eli Zaretskii, 2018/02/09