From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Wed, 16 Aug 2006 00:09:03 GMT
Subject: Re: [PATCH] remove unused pager_in_use
Message-ID: <Pine.LNX.4.63.0608160206510.28360@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <Pine.LNX.4.63.0608151348310.2687@chino.corp.google.com>

Hi,

On Tue, 15 Aug 2006, David Rientjes wrote:

> There's no need to honor pager_in_use because it's unused.
>
> [...]
>
> -			if (isatty(1) || (pager_in_use && pager_use_color)) {
> +			if (isatty(1) || pager_use_color) {

Well, it _was_ in use, before you removed it.

Ciao,
Dscho