From 2e5f6e85309a3024a2a76bac7a433b5d407f140a Mon Sep 17 00:00:00 2001 From: rockon999 Date: Mon, 31 Jul 2017 15:25:26 -0500 Subject: [PATCH] Fix typo preventing proper cleanup. - Panel barriers are now added back when the extension is disabled. --- panel.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/panel.js b/panel.js index 3ee8710..abef43f 100644 --- a/panel.js +++ b/panel.js @@ -211,7 +211,7 @@ const dtpPanel = new Lang.Class({ Main.layoutManager._updateHotCorners = this._oldUpdateHotCorners; Main.layoutManager._updateHotCorners(); - Main.layoutManager._updatePaneBarrier = this._oldUpdatePanelBarrier; + Main.layoutManager._updatePanelBarrier = this._oldUpdatePanelBarrier; Main.layoutManager._updatePanelBarrier(); Main.overview.viewSelector._animateIn = this._oldViewSelectorAnimateIn;