From 2330d6772d19ca3dbd723095265429315819ccef Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Sat, 25 Apr 2020 00:32:23 -0400 Subject: [PATCH] Fix extra comma for gnome-shell 3.18 --- panelManager.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/panelManager.js b/panelManager.js index b385acd1..f9abcae5 100755 --- a/panelManager.js +++ b/panelManager.js @@ -191,7 +191,7 @@ var dtpPanelManager = Utils.defineClass({ Utils.DisplayWrapper.getScreen(), 'window-entered-monitor', () => this._needsIconAllocate = 1 - ], + ] ); Main.overview.viewSelector.appDisplay._views.forEach(v => {