isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

windowPreview: Allow titles to overlap other previews

Browse Source 
We are about to add additional chrome, but still want to use
as much space as possible for the previews. Allowing titles
to overlap other previews should help keeping the additional
whitespace requirement low.

https://gitlab.gnome.org/Teams/Design/os-mockups/-/issues/81

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1605>
This commit is contained in:
Florian Müllner
2020-10-12 13:19:07 +02:00
parent bc6849c7a2
commit 5e10bed458
2 changed files with 32 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
js/ui/workspace.js
View File

@ -469,10 +469,11 @@ var WorkspaceLayout = GObject.registerClass({
colSpacing += Math.max(leftOversize, rightOversize);
if (containerBox) {
containerBox.x1 += leftOversize;
const [topOverlap, bottomOverlap] = window.overlapHeights();
containerBox.x1 += leftOversize + topOverlap;
containerBox.x2 -= rightOversize;
containerBox.y1 += topOversize;
containerBox.y2 -= bottomOversize;
containerBox.y2 -= bottomOversize + bottomOverlap;
}
return [rowSpacing, colSpacing, containerBox];