Hacker News new | ask | show | jobs
by frankohn 1722 days ago
Looks like more complexity and that would prevent users from changing fonts in their preferences.
1 comments
jakearmitage 1722 days ago
Right now, how does it work? Does it build a glyphmap everytime the editor starts?
link