Skip to content

egui: prettier icons & hidden extensions#3932

Merged
Parth merged 4 commits intomasterfrom
prettier-icons
Nov 6, 2025
Merged

egui: prettier icons & hidden extensions#3932
Parth merged 4 commits intomasterfrom
prettier-icons

Conversation

@Parth
Copy link
Copy Markdown
Member

@Parth Parth commented Nov 5, 2025

  • hides extensions (Option to hide file extensions #3066) on linux and windows, issue can stay open for apple.
  • also this PR moves us from the material icon set to nerd-fonts.
  • nerd fonts can be thought of as a superset, and in most places I kept using the -md- variants of icons, however, instead of using the outlined variety from md it uses the filled in ones which I think are much more legible
  • the nerdfonts cheat sheet is also a bit more useful, because you can reverse-lookup symbols easily, allowing us to use the comments location for a preview (for the people who use nerdfonts in their terminal, which is at-least @tvanderstad & I).

Before:
image

After:
image

I also changed the icon for markdown to the hip-and trendy one. I changed the one that svg's use to be the same icon used for the brush within the canvas experience, as well as one that I think creates significantly greater visual separation.

@Parth Parth marked this pull request as ready for review November 6, 2025 22:29
@Parth Parth merged commit be3a9a5 into master Nov 6, 2025
1 check passed
@Parth Parth deleted the prettier-icons branch November 6, 2025 22:29
@Parth Parth changed the title egui: prettier icons egui: prettier icons & hidden extensions Nov 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant