|
|
|
@@ -1747,17 +1747,17 @@ void XWindowSystem::setBounds (::Window windowH, Rectangle<int> newBounds, bool |
|
|
|
X11Symbols::getInstance()->xSetWMNormalHints (display, windowH, hints.get());
|
|
|
|
}
|
|
|
|
|
|
|
|
const auto windowBorder = [&]() -> BorderSize<int>
|
|
|
|
const auto nativeWindowBorder = [&]() -> BorderSize<int>
|
|
|
|
{
|
|
|
|
if (const auto& frameSize = peer->getFrameSizeIfPresent())
|
|
|
|
return *frameSize;
|
|
|
|
return frameSize->multipliedBy (peer->getPlatformScaleFactor());
|
|
|
|
|
|
|
|
return {};
|
|
|
|
}();
|
|
|
|
|
|
|
|
X11Symbols::getInstance()->xMoveResizeWindow (display, windowH,
|
|
|
|
newBounds.getX() - windowBorder.getLeft(),
|
|
|
|
newBounds.getY() - windowBorder.getTop(),
|
|
|
|
newBounds.getX() - nativeWindowBorder.getLeft(),
|
|
|
|
newBounds.getY() - nativeWindowBorder.getTop(),
|
|
|
|
(unsigned int) newBounds.getWidth(),
|
|
|
|
(unsigned int) newBounds.getHeight());
|
|
|
|
}
|
|
|
|
|