From ef733f33f555143185c876690e15e4409f6eeccc Mon Sep 17 00:00:00 2001 From: Philipp Unger Date: Sat, 19 Aug 2023 14:03:05 +0200 Subject: [PATCH] export panelBoxes and fix its import --- panel.js | 2 +- panelManager.js | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/panel.js b/panel.js index 290eb2c..434041c 100644 --- a/panel.js +++ b/panel.js @@ -64,7 +64,7 @@ const Mainloop = imports.mainloop; const Gi = imports._gi; let tracker = Shell.WindowTracker.get_default(); -var panelBoxes = ['_leftBox', '_centerBox', '_rightBox']; +export var panelBoxes = ['_leftBox', '_centerBox', '_rightBox']; //timeout names const T2 = 'startIntellihideTimeout'; diff --git a/panelManager.js b/panelManager.js index 23601bc..a62ecb3 100755 --- a/panelManager.js +++ b/panelManager.js @@ -29,7 +29,6 @@ import * as Overview from './overview.js'; import * as Panel from './panel.js'; -import * as panelBoxes from './panel.js'; import * as PanelSettings from './panelSettings.js'; import * as Proximity from './proximity.js'; import * as Taskbar from './taskbar.js'; @@ -203,7 +202,7 @@ export var PanelManager = class { ] ); - panelBoxes.forEach(c => this._signalsHandler.add( + Panel.panelBoxes.forEach(c => this._signalsHandler.add( [ Main.panel[c], 'actor-added',