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

Right now, how does it work? Does it build a glyphmap everytime the editor starts?