Icon for agda files (and for the extension itself)

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

169 stars 39 forks source link

Closed Trebor-Huang closed 1 year ago

Trebor-Huang commented 2 years ago

I'd be happy to make one, maybe just use the Agda bird icon with correct coloring on both light and dark themes?

banacorn commented 1 year ago

That'd be great! Mind sending a PR?

Trebor-Huang commented 1 year ago

Actually the file logo is too small, maybe I'll change the line width a little bit