Fix panel height access on older gnome-shell versions

This commit is contained in:
Charles Gagnon
2019-12-17 09:30:12 -05:00
parent ed3c3e072e
commit 3df92b7cc8

View File

@@ -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);
}
}
},