Re: Why is the star in front of every info item sometimes black and sometimes red?

[Hongyi Zhao <hongyi.zhao@gmail.com>]

On Fri, Dec 10, 2021 at 9:04 AM Eduardo Ochs <eduardoochs@gmail.com> wrote:
>
> On Thu, 9 Dec 2021 at 21:54, Hongyi Zhao <hongyi.zhao@gmail.com> wrote:
> >
> > On Fri, Dec 10, 2021 at 8:51 AM Michael Heerdegen
> > <michael_heerdegen@web.de> wrote:
> > >
> > > Hongyi Zhao <hongyi.zhao@gmail.com> writes:
> > >
> > > > As you can see, there is a star before each info entry, as shown here
> > > > [1]. But some stars are black, others are red. Does this mean anything
> > > > special?
> > >
> > > When I look up the face I get:
> > >
> > > | Face: info-menu-star
> > > |
> > > | Documentation:
> > > | Face used to emphasize `*' in an Info menu.
> > > | The face is assigned to the third, sixth, and ninth `*' for easier
> > > | orientation.  See `Info-nth-menu-item'.
> >
> > But there is no mention of using specific colors as indicators.
>
>
> Hi Hongyi,
>
> try this:
>
>   (describe-function 'Info-mode)
>
> You will see this in the description:
>
>   1 .. 9  Pick first ... ninth item in node’s menu.
>   Every third ‘*’ is highlighted to help pick the right number.
>
> The highlighted stars are there to help the people who like to use
> the keys 1..9 to navigate info manuals.

Got it, thanks!

HZ