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

[Eduardo Ochs]

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.

  Cheers,
    Eduardo Ochs
    http://angg.twu.net/#eev