[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 11:43:35 +0800 |
On Fri, Dec 10, 2021 at 9:11 AM Emanuel Berg via Users list for the
GNU Emacs text editor <help-gnu-emacs@gnu.org> wrote:
>
> Hongyi Zhao wrote:
>
> >>> 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.
>
> ?
>
> The colors belong to the face ... or I don't understand what
> you mean. really?
I now understand what Michael Heerdegen means. Thanks again.
- Re: Why is the star in front of every info item sometimes black and sometimes red?, (continued)
- 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
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Emanuel Berg, 2021/12/11
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Emanuel Berg, 2021/12/09
- Re: Why is the star in front of every info item sometimes black and sometimes red?,
Hongyi Zhao <=