[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#11168: All headers but one missing in main *Info* buffer
|
From: |
Drew Adams |
|
Subject: |
bug#11168: All headers but one missing in main *Info* buffer |
|
Date: |
Thu, 29 Oct 2020 12:34:33 -0700 (PDT) |
> > 2. `Info-streamline-headings' should be a user option, not a defvar.
>
> I'm not sure that this is something that people will commonly want to
> customize.
Why not? (And why must an option be something that's
_commonly_ modified by users?)
In this bug report you have a user asking about the
format/content of Info, with no way to find out about
what's happening, without filing a bug.
`Info-streamline-headings' isn't covered in any manual,
AFAICT.
Maybe this variable isn't intended for users. Dunno.
But at least we've heard from one user asking about
the its _effect_.