Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add typst icon #136

Merged
merged 1 commit into from
Aug 25, 2024
Merged

Add typst icon #136

merged 1 commit into from
Aug 25, 2024

Conversation

Gaspartcho
Copy link
Contributor

As mentioned here, here is my PR to add the Typst Logo.

Source: https://icon-sets.iconify.design/simple-icons/typst/ (License: CC0 1.0)

@Finii
Copy link
Collaborator

Finii commented Apr 8, 2024

image

I just noticed that there is already such an icon in Nerd Fonts:

image

;-D

@Gaspartcho
Copy link
Contributor Author

I understand, however, I still think it would be better if we still added it, as there is some notable differences between the two (they are both "t"s, but this is pretty much their only similarity).

@hasecilu
Copy link
Collaborator

Even though they are similar I also prefer to have a separated glyph, what's your use case, does it have an associated file extension? Heard of it a long time ago but haven't tested.

@Gaspartcho
Copy link
Contributor Author

does it have an associated file extension

Yes, for the Typst files (with extension ".typ")

It is mainly for this use-case I want to add it.

@hasecilu
Copy link
Collaborator

Just remember of this, it seems that on NF this glyph is requested, should we merge it? In that case the offset should be updated to 127.

@Finii
Copy link
Collaborator

Finii commented Aug 23, 2024

Yes, I think it is a good idea to merge it here.
Although I have no clue how 'relevant' typst is.

I will start work/evaluation on your suggested devicons/devicon update of NF (thanks for the writeup there!).
Hope it is not also dead, last commit is 1/2 year ago 😬

@hasecilu hasecilu merged commit 09cfb16 into lukas-w:master Aug 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants