Paper-Proof
Allow font-size increase/decrease
When activating Single-tactic Mode, there is no option to zoom anymore. It would be great to have it here as well ;)
It would further be amazing if we could zoom via Ctrl + Scrollwheel in the Paperproof view.
Single-Tactic Mode is always at Paperproof's maximum zoom. Do you like Paperproof's zoom to be larger than that still?
If so, then I think the real solution is to add an option for the font-size increase.
Maybe the issue I have is more about the default width in single-mode tactic. For example here, there is much wasted space to the right such that the actual information is smaller than it needs to. That's why I requested a zoom option.
In single-tactic mode, zooming is always the same, and the width adjusts to the webview's width.
This does sound like you prefer the font-size to be adjustable (which will automatically increase/decrease the size of rectangles), and I agree, I think that would be a great option to have.
Latest release https://github.com/Paper-Proof/paperproof/releases/tag/v2.4.0 adds zoom-in/zoom-out for the single-tactic mode.
Leaving this issue open, because I think we should add font-size increase/decrease option too.