diff --git a/js/ui/workspace.js b/js/ui/workspace.js index d7e179b1d..ee7cbdc20 100644 --- a/js/ui/workspace.js +++ b/js/ui/workspace.js @@ -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;