From c2e084f27c426503cd75cd927f8150fdfd2fd67b Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Sun, 10 Apr 2022 20:00:48 -0400
Subject: [PATCH] Apply scale factor to label margin in overview

---
 overview.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/overview.js b/overview.js
index 70857b1..b88a2c2 100644
--- a/overview.js
+++ b/overview.js
@@ -101,7 +101,7 @@ var Overview = class {
         }
 
         let visibilityFunc = visible ? 'show' : 'hide';
-        let height = visible ? -1 : LABEL_MARGIN;
+        let height = visible ? -1 : LABEL_MARGIN * Utils.getScaleFactor();
         let overviewControls = Main.overview._overview._controls;
 
         overviewControls.dash.actor[visibilityFunc]();