From 6fbbb13904569e43ed8ee28e52c69f4dcb0da4df Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Mon, 4 May 2020 10:44:39 -0400 Subject: [PATCH] Fix panelcorner actor on older gnome-shell versions --- panel.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/panel.js b/panel.js index b66ea3f..5ded78e 100644 --- a/panel.js +++ b/panel.js @@ -194,9 +194,6 @@ var dtpPanel = Utils.defineClass({ this.panel._leftCorner = this.panel._leftCorner || new Panel.PanelCorner(St.Side.LEFT); this.panel._rightCorner = this.panel._rightCorner || new Panel.PanelCorner(St.Side.RIGHT); - Utils.wrapActor(this.panel._leftCorner); - Utils.wrapActor(this.panel._rightCorner); - if (isStandalone) { this.panel.add_child(this.panel._leftCorner.actor); this.panel.add_child(this.panel._rightCorner.actor); @@ -204,6 +201,9 @@ var dtpPanel = Utils.defineClass({ } } + Utils.wrapActor(this.panel._leftCorner || 0); + Utils.wrapActor(this.panel._rightCorner || 0); + this.add_child(this.panel.actor); if (Main.panel._onButtonPress || Main.panel._tryDragWindow) { @@ -1117,7 +1117,7 @@ var dtpPanel = Utils.defineClass({ _toggleCornerStyle: function(corner, visible) { if (corner) { - corner[(visible ? 'remove' : 'add') + '_style_class_name']('hidden'); + corner.actor[(visible ? 'remove' : 'add') + '_style_class_name']('hidden'); } },