[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: |
Emanuel Berg |
Subject: |
Re: Why is the star in front of every info item sometimes black and sometimes red? |
Date: |
Fri, 10 Dec 2021 02:10:04 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
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?
--
underground experts united
https://dataswamp.org/~incal
- 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?, 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
- 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 <=
- Re: Why is the star in front of every info item sometimes black and sometimes red?, Hongyi Zhao, 2021/12/09