Re: [PATCH] remove unused pager_in_use

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