13 ms·
Looks like more complexity and that would prevent users from changing fonts in their preferences.
by frankohn 5y ago
Looks like more complexity and that would prevent users from changing fonts in their preferences.
- jakearmitage 5y agoRight now, how does it work? Does it build a glyphmap everytime the editor starts?