Hacker News new | ask | show | jobs
by ajstarks 708 days ago
Re: #2, use

"buffer_font_weight": 600

in the settings.json to fix the font rendering.