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

ControlsManagerLayout: Consider workarea height for the available space

Browse Source 
We always consider the whole workarea space to be available when
computing the controls manager layout, however this may not be the truth
when using extensions such as Window List which are reducing the work
area size.

So take care of it, reducing the box height.

Fixes: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4330
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1892>
This commit is contained in:
Marco Trevisan (Treviño) 2021-06-18 19:47:24 +02:00 committed by Florian Müllner
parent f164e08688
commit 2b074882f4
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
js/ui/overviewControls.js
View File

@ -135,6 +135,7 @@ class ControlsManagerLayout extends Clutter.BoxLayout {
const workArea = Main.layoutManager.getWorkAreaForMonitor(monitor.index); const workArea = Main.layoutManager.getWorkAreaForMonitor(monitor.index);
const startY = workArea.y - monitor.y; const startY = workArea.y - monitor.y;
box.y1 += startY; box.y1 += startY;
box.y2 -= (monitor.height - workArea.height) - startY;
const [width, height] = box.get_size(); const [width, height] = box.get_size();
let availableHeight = height; let availableHeight = height;