unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
* bug#27574: 25.2; `Info-use-header-line' documentation
@ 2017-07-04 19:24 Drew Adams
  2019-07-21 15:24 ` Lars Ingebrigtsen
  0 siblings, 1 reply; 3+ messages in thread
From: Drew Adams @ 2017-07-04 19:24 UTC (permalink / raw)
  To: 27574

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





^ permalink raw reply	[flat|nested] 3+ messages in thread

* bug#27574: 25.2; `Info-use-header-line' documentation
  2017-07-04 19:24 bug#27574: 25.2; `Info-use-header-line' documentation Drew Adams
@ 2019-07-21 15:24 ` Lars Ingebrigtsen
  2019-07-21 15:53   ` Drew Adams
  0 siblings, 1 reply; 3+ messages in thread
From: Lars Ingebrigtsen @ 2019-07-21 15:24 UTC (permalink / raw)
  To: Drew Adams; +Cc: 27574

Drew Adams <drew.adams@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





^ permalink raw reply	[flat|nested] 3+ messages in thread

* bug#27574: 25.2; `Info-use-header-line' documentation
  2019-07-21 15:24 ` Lars Ingebrigtsen
@ 2019-07-21 15:53   ` Drew Adams
  0 siblings, 0 replies; 3+ messages in thread
From: Drew Adams @ 2019-07-21 15:53 UTC (permalink / raw)
  To: Lars Ingebrigtsen; +Cc: 27574

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





^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2019-07-21 15:53 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-07-04 19:24 bug#27574: 25.2; `Info-use-header-line' documentation Drew Adams
2019-07-21 15:24 ` Lars Ingebrigtsen
2019-07-21 15:53   ` Drew Adams

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).