Open
Description
The present PDF viewer displays PDF files at a comparatively low resolution. It would be advantageous for users with high PPI monitors if the resolution could be adjusted adaptively or configured manually, in order to optimize the viewing experience.
