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 | ||