search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
169 stars 39 forks source link

Use user-specified font family #101

Closed plt-amy closed 2 years ago

banacorn commented 2 years ago

thanks amy! 💛🤍💜🖤