Take in account device pixel ratio when setting window extents

This commit is contained in:
Ilya Fedin 2021-02-12 16:58:14 +04:00 committed by John Preston
parent 3637fec397
commit d44f076f0b

View file

@ -147,7 +147,7 @@ void TitleWidgetQt::updateWindowExtents() {
if (hasShadow()) { if (hasShadow()) {
Platform::SetWindowExtents( Platform::SetWindowExtents(
window()->windowHandle(), window()->windowHandle(),
resizeArea()); resizeArea() * cIntRetinaFactor());
_extentsSet = true; _extentsSet = true;
} else if (_extentsSet) { } else if (_extentsSet) {