This fixes non-client area DPI scaling on recent Windows 10 versions. See discussion in #8786.  | 
			||
|---|---|---|
| .. | ||
| __init__.py | ||
| config.py | ||
| env_util.py | ||
| github.py | ||
| util.py | ||
				This fixes non-client area DPI scaling on recent Windows 10 versions. See discussion in #8786.  | 
			||
|---|---|---|
| .. | ||
| __init__.py | ||
| config.py | ||
| env_util.py | ||
| github.py | ||
| util.py | ||