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