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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 27574 in the body.
You can then email your comments to 27574 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

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

From: Drew Adams <drew.adams <at> oracle.com>
To: bug-gnu-emacs <at> gnu.org
Subject: 25.2; `Info-use-header-line' documentation
Date: Tue, 4 Jul 2017 12:24:19 -0700 (PDT)

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.


In GNU Emacs 25.2.1 (x86_64-w64-mingw32)
 of 2017-04-24 built on LAPHROAIG
Windowing system distributor 'Microsoft Corp.', version 6.1.7601
Configured using:
 'configure --without-dbus --without-compress-install 'CFLAGS=-O2
 -static -g3''

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

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

From: Drew Adams <drew.adams <at> oracle.com>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 27574 <at> debbugs.gnu.org
Subject: RE: bug#27574: 25.2; `Info-use-header-line' documentation
Date: Sun, 21 Jul 2019 08:53:22 -0700 (PDT)

> > 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.

Yes, and no.

The behavior is correct now, in the sense that the
header line is no longer used by Info.

But there is still/now a bug that the header line
is still present.  The bug report is still correct
that to get rid of it you need to kill Info buffers
and reopen Info.

IOW, the bug is almost fixed - the important failure
has been fixed.  A residual problem is that if you
change the option value we do not remove the (now
empty, no longer used for Info) header line from
existing Info buffers.

Using `q' to quit Info does not kill the buffer
(thank goodness).  Changing the value of this option
to turn it off should actually remove the header
line.  Info "not using" a header line means a bit
more than just not using it for Info purposes
(navigation etc.).  It should mean that Info uses
a header line.  If the option is off then Info
buffers should not have a header line.

---

On the other hand, to be really clear, they should
not use a header line created for Info.  Ideally,
we should keep track of whether a given header line
was created for/by Info, and remove only that when
the option is turned off.

IOW, some other code/library could add its own
header line (there can even be more than one, IIRC).
Ideally, Info should not just remove _a_ header
line.  It should remove a header line that it
created.

---

In any case, most of this bug has been fixed.
The problem that remains is minor compared to the
problem that existed.

Previous Next

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