docking: Add both bottom and top spacing when there are no workspaces…

… thumbs
micheleg · Jun 2, 2023 · dfb1ac1 · dfb1ac1
1 parent 2bdc7ee
commit dfb1ac1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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;