[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Why is the star in front of every info item sometimes black and some
From: |
Eduardo Ochs |
Subject: |
Re: Why is the star in front of every info item sometimes black and sometimes red? |
Date: |
Thu, 9 Dec 2021 22:04:07 -0300 |
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
- Why is the star in front of every info item sometimes black and sometimes red?, Hongyi Zhao, 2021/12/09
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Michael Heerdegen, 2021/12/09
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Hongyi Zhao, 2021/12/09
- Re: Why is the star in front of every info item sometimes black and sometimes red?,
Eduardo Ochs <=
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Hongyi Zhao, 2021/12/09
- Re: Why is the star in front of every info item sometimes black and sometimes red?, H. Dieter Wilhelm, 2021/12/10
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Colin Baxter 😺, 2021/12/10
- Re: timeanddateformats, was: why is the star in front of every info item sometimes black and sometimes red?, H. Dieter Wilhelm, 2021/12/10
- Re: timeanddateformats, was: why is the star in front of every info item sometimes black and sometimes red?, Colin Baxter 😺, 2021/12/10
- Re: timeanddateformats, was: why is the star in front of every info item sometimes black and sometimes red?, H. Dieter Wilhelm, 2021/12/10
- Re: timeanddateformats, was: why is the star in front of every info item sometimes black and sometimes red?, Emanuel Berg, 2021/12/11
- Re: timeanddateformats, was: why is the star in front of every info item sometimes black and sometimes red?, H. Dieter Wilhelm, 2021/12/12
- Re: timeanddateformats, was: why is the star in front of every info item sometimes black and sometimes red?, Emanuel Berg, 2021/12/12
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Emanuel Berg, 2021/12/11