From 9e96c0383e3aec00aec832133a35dbe648bb25e1 Mon Sep 17 00:00:00 2001 From: jderose9 Date: Sun, 21 May 2017 22:06:29 -0400 Subject: [PATCH] get rid of invisible top barrier on dual monitor --- panel.js | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/panel.js b/panel.js index bf93948..3ee8710 100644 --- a/panel.js +++ b/panel.js @@ -73,6 +73,10 @@ const dtpPanel = new Lang.Class({ this._oldViewSelectorAnimateOut = Main.overview.viewSelector._animateOut; Main.overview.viewSelector._animateOut = Lang.bind(this, newViewSelectorAnimateOut); + this._oldUpdatePanelBarrier = Main.layoutManager._updatePanelBarrier; + Main.layoutManager._updatePanelBarrier = Lang.bind(Main.layoutManager, newUpdatePanelBarrier); + Main.layoutManager._updatePanelBarrier(); + this._oldUpdateHotCorners = Main.layoutManager._updateHotCorners; Main.layoutManager._updateHotCorners = Lang.bind(Main.layoutManager, newUpdateHotCorners); Main.layoutManager._updateHotCorners(); @@ -207,6 +211,9 @@ const dtpPanel = new Lang.Class({ Main.layoutManager._updateHotCorners = this._oldUpdateHotCorners; Main.layoutManager._updateHotCorners(); + Main.layoutManager._updatePaneBarrier = this._oldUpdatePanelBarrier; + Main.layoutManager._updatePanelBarrier(); + Main.overview.viewSelector._animateIn = this._oldViewSelectorAnimateIn; Main.overview.viewSelector._animateOut = this._oldViewSelectorAnimateOut; @@ -718,4 +725,11 @@ function newUpdateHotCorners() { } this.emit('hot-corners-changed'); +} + +function newUpdatePanelBarrier() { + if (this._rightPanelBarrier) { + this._rightPanelBarrier.destroy(); + this._rightPanelBarrier = null; + } } \ No newline at end of file