[gnome-shell/gnome-40] ControlsManagerLayout: Consider workarea height for the available space

[Florian Müllner <fmuellner src gnome org>]

commit 524869c2c5afb7402d2bdd86be09bb0481dd44b8
Author: Marco Trevisan (Treviño) <mail 3v1n0 net>
Date:   Fri Jun 18 19:47:24 2021 +0200

    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>
    (cherry picked from commit 2b074882f44c32862e3b7984a42888ada1478259)

 js/ui/overviewControls.js | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index df098ace95..66424bdab5 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;