Hacker News new | ask | show | jobs
by jwilm 3444 days ago
2. I don't have easy access to the high DPI scale factor, so it needs to be configured manually for now :(.

     dpi:
         x: 144.0
         y: 144.0
1. That doesn't sound good! Would you mind filing an issue?
1 comments

Sure I will do when I get a moment :}

One other feature that's a killer for me is being able to change the font size while running -- ctrl++/-.

I've heard that a few times now. For what it's worth, that's in the works!