[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: |
Hongyi Zhao |
Subject: |
Re: Why is the star in front of every info item sometimes black and sometimes red? |
Date: |
Fri, 10 Dec 2021 08:54:15 +0800 |
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.
- 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 <=
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Eduardo Ochs, 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?, 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