GNU bug report logs - #30397
Random numbers in grep mode-line

Previous Next

Full log

Message #50 received at 30397 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: rms <at> gnu.org
Cc: npostavs <at> users.sourceforge.net, 30397 <at> debbugs.gnu.org, juri <at> linkov.net
Subject: Re: bug#30397: Random numbers in grep mode-line
Date: Mon, 12 Feb 2018 18:34:56 +0200

> From: Richard Stallman <rms <at> gnu.org>
> Date: Sun, 11 Feb 2018 15:45:04 -0500
> Cc: 30397 <at> debbugs.gnu.org, npostavs <at> users.sourceforge.net
> 
>   > >       While compilation proceeds, the mode line is updated to show the
>   > >     number of errors, warnings, and informational messages that have been
>   > >     seen so far.
> 
> That has a gratuitous passive verb.
> This text avoids that and is clearer in other ways.
> 
> ======================================================================
>   The mode line displays and updates the number of errors, number of
> warnings, and number of informational messages emitted by compilation.
> ======================================================================
> 
> Would someone please install this and ack?

Ack.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.