[ jEdit-devel ] DPI scaling in Windows

[Makarius <mak...@sk...>]

On Sun, 24 May 2015, Makarius wrote:

> Note that the testing of font-scaling in jEdit can be done in various
> ways, even without a 4K or other HDPI display:
>
>   * Metal look-and-feel with rather big primary and secondary font, on any
>     platform.
>
>   * Windows look-and-feel with global text scaling enabled: the maximum
>     for Windows 7 is 150% where the effect is only barely visible, but in
>     Windows 8.1 200% or 250% exhibit GUI problems quite prominently.

The Windows registry key is HKEY_CURRENT_USER\Control Panel\Desktop -- it 
can be made larger than 144 (150%) even on Windows 7.  Recommended values 
to simulate 4K displays are 180 (200%) or 225 (250%).


 	Makarius