diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2021-06-18 19:47:24 +0200 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2021-07-17 00:25:50 +0200 |
| commit | 2b074882f44c32862e3b7984a42888ada1478259 (patch) | |
| tree | 0cb5a460589cf1e6b726bd4bb181ee3021b3ff48 | |
| parent | f164e086880860a126fde6b6bfa267d8ecbab414 (diff) | |
| download | gnome-shell-2b074882f44c32862e3b7984a42888ada1478259.tar.gz | |
ControlsManagerLayout: Consider workarea height for the available space
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>
| -rw-r--r-- | js/ui/overviewControls.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js index df098ace9..66424bdab 100644 --- a/js/ui/overviewControls.js +++ b/js/ui/overviewControls.js @@ -135,6 +135,7 @@ class ControlsManagerLayout extends Clutter.BoxLayout { const workArea = Main.layoutManager.getWorkAreaForMonitor(monitor.index); const startY = workArea.y - monitor.y; box.y1 += startY; + box.y2 -= (monitor.height - workArea.height) - startY; const [width, height] = box.get_size(); let availableHeight = height; |