Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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?


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!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: