7 ms·

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. T

by jwilm 10y 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?

cyberpunk 10y ago
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++/-.
- jwilm 10y ago
  I've heard that a few times now. For what it's worth, that's in the works!