[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: |
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).
- bug#30397: Random numbers in grep mode-line, (continued)
- bug#30397: Random numbers in grep mode-line, Noam Postavsky, 2018/02/08
- 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
- bug#30397: Random numbers in grep mode-line,
Drew Adams <=