From 3df92b7cc82e336df128e555e4a27743872ff5dc Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Tue, 17 Dec 2019 09:30:12 -0500
Subject: [PATCH] Fix panel height access on older gnome-shell versions

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

diff --git a/panel.js b/panel.js
index 43c1b79..e122ee8 100644
--- a/panel.js
+++ b/panel.js
@@ -587,7 +587,7 @@ var dtpPanel = Utils.defineClass({
             this._myPanelGhost[isOverviewFocusedMonitor ? 'show' : 'hide']();
 
             if (isOverviewFocusedMonitor) {
-                Utils.getPanelGhost().set_height(this.geom.position == St.Side.TOP ? 0 : Main.panel.height);
+                Utils.getPanelGhost().set_height(this.geom.position == St.Side.TOP ? 0 : Main.panel.actor.height);
             }
         }
     },