search

domtronn / all-the-icons.el

A utility package to collect various Icon Fonts and propertize them within Emacs.
MIT License
1.45k stars 174 forks source link

Coq/Agda icons #264

Open Ailrun opened 3 years ago

Ailrun commented 3 years ago

Will it be possible to support logos of https://coq.inria.fr/ and https://agda.readthedocs.io/en/v2.6.1.3/ ? They are both quite famous proof assistants, so it will be great if the support is possible.

wyuenho commented 3 years ago

There's an agda icon on file-icons, but there's no coq icon, which means it needs to be generated. But it's hard to do due to https://github.com/domtronn/all-the-icons.el/issues/248#issuecomment-798788171

Ailrun commented 3 years ago

Actually coq icon is already in https://github.com/domtronn/all-the-icons.el/blob/facbde4a7be292bf9490932cbe403b443273f45d/data/data-fileicons.el#L97 so I guess it's only the matter of Agda icon and configuration change.

wyuenho commented 3 years ago

Ah, right, agda is actually missing in this data file. I'm not actually sure this version of the file icons font actually comes with the agda icon, but I think we can change it. If you can make sure the file icon font bundled has that font, please feel free to send over a PR.

Ailrun commented 3 years ago

Unfortunately as far as I can see it does not contain the version... According to https://github.com/file-icons/icons/blob/master/charmap.md, it looks like both Coq and Agda are in the latest file-icons, so can we use that version?

wyuenho commented 3 years ago

it looks like both Coq and Agda are in the latest file-icons, so can we use that version

We should be able to. Try it out and let me know :)

jeslie0 commented 2 years ago

How does one go about referencing the Agda icon? I think it should correspond to "\x1315a", but whenever I view the corresponding icon in emacs, I just see the normal icon for that code, as in the following picture: 2021-11-12_12:59:58

Trying "\1315a" also doesn't work for me.