Based on discussion in #150, it would be useful to be able to adjust the zoom-level, even if OS DPI-scaling is there. The shortcut for this could be something like Ctrl+Mousewheel.