3 ms·
If I was going to pay for it, I wish they'd offer nerdfont patched versions of their font (see https://www.nerdfonts.com/ https://www.nerdfonts.com/).
by jupp0r 5y ago
If I was going to pay for it, I wish they'd offer nerdfont patched versions of their font (see https://www.nerdfonts.com/ https://www.nerdfonts.com/).
- okonet 5y agoWe are looking into this and might provide a solution soon.