GNU bug report logs - #27574
25.2; `Info-use-header-line' documentation

Previous Next

Full log

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Drew Adams <drew.adams <at> oracle.com>
Cc: 27574 <at> debbugs.gnu.org
Subject: Re: bug#27574: 25.2; `Info-use-header-line' documentation
Date: Sun, 21 Jul 2019 17:24:17 +0200

Drew Adams <drew.adams <at> oracle.com> writes:

> The doc should say that toggling the value has no effect if Info has
> already been opened.  It's not even enough to quit Info.  Apparently you
> must kill any `Info-mode' buffers and then open Info again, to see the
> change.  This is not obvious.

This doesn't seem to be the case on the trunk, at least -- following any
link in the Info buffer then gives you a display that respects this
variable.

I think that's acceptable, and doesn't need clarification in the
variable doc string.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

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