wxWidgets/interface
Vadim Zeitlin 3df9d772a4 Merge branch 'display-ppi-from-scaling-factor'
Determine display DPI from scaling factor instead of trying to compute
it from the physical display dimensions.

See https://github.com/wxWidgets/wxWidgets/pull/2015

Closes #18855.
2020-08-24 00:14:27 +02:00
..
wx Merge branch 'display-ppi-from-scaling-factor' 2020-08-24 00:14:27 +02:00
check_syntax.sh