workspace: Cap scaled floating size to target layout size

A window preview's floating geometry is scaled down according to the
workspace's allocation, while the layout geometry is computed directly
for the available space.

For previews that maintain their real size in the layout geometry,
that scaling leads to a distracting size bounce when transitioning
between both layouts.

Address that by not allowing the scaled floating size to drop below
that layout size (which is at most equal to the unscaled floating size).

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2968
This commit is contained in:
Florian Müllner 2020-07-30 15:02:18 +02:00 committed by Georges Basile Stavracas Neto
parent 497f10178c
commit 7f402c1c6b

View File

@ -614,6 +614,11 @@ var WorkspaceLayout = GObject.registerClass({
}
workspaceBox.scale(allocationScale);
// don't allow the scaled floating size to drop below
// the target layout size
workspaceBox.set_size(
Math.max(workspaceBox.get_width(), width),
Math.max(workspaceBox.get_height(), height));
layoutBox.x1 = x;
layoutBox.x2 = layoutBox.x1 + width;