From dfb1ac17896f3b825f2d3e1911d2b2181b400f90 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= <mail@3v1n0.net>
Date: Wed, 31 May 2023 03:02:16 +0200
Subject: [PATCH] docking: Add both bottom and top spacing when there are no
 workspaces thumbs

---
 docking.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docking.js b/docking.js
index 8723975a7..bf22cda3d 100644
--- a/docking.js
+++ b/docking.js
@@ -2302,8 +2302,10 @@ var DockManager = class DashToDockDockManager {
                 const searchBox = this.overviewControls._searchEntry.get_allocation_box();
                 const { shouldShow: wsThumbnails } = this.overviewControls._thumbnailsBox;
 
-                if (!wsThumbnails)
+                if (!wsThumbnails) {
                     box.y1 += spacing;
+                    box.y2 -= spacing;
+                }
 
                 box.y2 -= searchBox.get_height() + spacing;
                 box.y2 -= spacing;