这是indexloc提供的服务,不要输入任何密码
Skip to content

Conversation

@Finii
Copy link
Collaborator

@Finii Finii commented Apr 13, 2025

[why]
The progress indicators can not be found, people need to know that they are there.

The progress indicators (taken from Fira Code) were introduced with #1733 and then moved:
bd59368 font-patcher: Add progress indicators
41f91bc Combine extraglyphs fonts

But no entry in the cheat sheet has been added. Which is the same for the boxdrawing glyphs and others in extraglyphs, but those other will probably be not searched for.

[how]
Add a new i_*.sh file for the extraglyphs icon set and introduce a new prefix just for the progress indicators to improve discoverability.

Fixes: #1827

Requirements / Checklist

  • Read the Contributing Guidelines
  • I've discussed this with core contributors already. If not checked, I'm ready to accept this work might be rejected in favor of a different grand plan.
    Issue number where discussion took place: #xxx
  • If this contains a font/glyph add its origin as background info below (e.g. URL)
  • Verified the license of any newly added font, glyph, or glyph set. License is: xxx

What does this Pull Request (PR) do?

How should this be manually tested?

Any background context you can provide?

What are the relevant tickets (if any)?

Screenshots (if appropriate or helpful)

[why]
The progress indicators can not be found, people need to know that they
are there.

The progress indicators (taken from Fira Code) were introduced with #1733
and then moved:
    bd59368  font-patcher: Add progress indicators
    41f91bc  Combine extraglyphs fonts

But no entry in the cheat sheet has been added. Which is the same for
the boxdrawing glyphs and others in extraglyphs, but those other will
probably be not searched for.

[how]
Add a new i_*.sh file for the extraglyphs icon set and introduce a new
prefix just for the progress indicators to improve discoverability.

Fixes: #1827

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
@Finii Finii added this to the v3.4.0 milestone Apr 13, 2025
@Finii Finii merged commit 0ff4ad1 into master Apr 13, 2025
1 check passed
@Finii Finii deleted the feature/cheat-progress branch April 13, 2025 08:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

add spinners

2 participants