From 2c982a82bc52a75f318ac1744bb885b28ca72167 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Thu, 29 Sep 2022 16:48:48 -0400 Subject: [PATCH] Prevent overview disable if no monitor --- panelManager.js | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/panelManager.js b/panelManager.js index c153941..d13a1fa 100755 --- a/panelManager.js +++ b/panelManager.js @@ -202,7 +202,13 @@ var PanelManager = class { ); panelBoxes.forEach(c => this._signalsHandler.add( - [Main.panel[c], 'actor-added', (parent, child) => this._adjustPanelMenuButton(this._getPanelMenuButton(child), this.primaryPanel.monitor, this.primaryPanel.getPosition())] + [ + Main.panel[c], + 'actor-added', + (parent, child) => + this.primaryPanel && + this._adjustPanelMenuButton(this._getPanelMenuButton(child), this.primaryPanel.monitor, this.primaryPanel.getPosition()) + ] )); this._setKeyBindings(true); @@ -213,7 +219,7 @@ var PanelManager = class { } disable(reset) { - this.overview.disable(); + this.primaryPanel && this.overview.disable(); this.proximityManager.destroy(); this.allPanels.forEach(p => {