Hacker News new | ask | show | jobs
by enoch2090 908 days ago
This is great! Can you also add a preference menu to let users set custom fonts?