Take in account device pixel ratio when setting window extents
This commit is contained in:
parent
34fc25a56c
commit
e14bc4681d
1 changed files with 2 additions and 1 deletions
|
|
@ -11,6 +11,7 @@
|
||||||
#include "ui/widgets/window.h"
|
#include "ui/widgets/window.h"
|
||||||
#include "ui/widgets/shadow.h"
|
#include "ui/widgets/shadow.h"
|
||||||
#include "ui/painter.h"
|
#include "ui/painter.h"
|
||||||
|
#include "ui/style/style_core_scale.h"
|
||||||
#include "styles/style_widgets.h"
|
#include "styles/style_widgets.h"
|
||||||
#include "styles/style_layers.h"
|
#include "styles/style_layers.h"
|
||||||
|
|
||||||
|
|
@ -356,7 +357,7 @@ void DefaultWindowHelper::updateWindowExtents() {
|
||||||
if (hasShadow()) {
|
if (hasShadow()) {
|
||||||
Platform::SetWindowExtents(
|
Platform::SetWindowExtents(
|
||||||
window()->windowHandle(),
|
window()->windowHandle(),
|
||||||
resizeArea());
|
resizeArea() * style::DevicePixelRatio());
|
||||||
|
|
||||||
_extentsSet = true;
|
_extentsSet = true;
|
||||||
} else if (_extentsSet) {
|
} else if (_extentsSet) {
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue