[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: |
Michael Heerdegen |
Subject: |
Re: Why is the star in front of every info item sometimes black and sometimes red? |
Date: |
Fri, 10 Dec 2021 01:50:52 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
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'.
That's all I know about it - and even that only since now.
Michael.
- 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 <=
- 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, 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