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

[Marge Bot <marge-bot src gnome org>]

commit 2b074882f44c32862e3b7984a42888ada1478259
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>

 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;