Fix panelcorner actor on older gnome-shell versions

This commit is contained in:
Charles Gagnon
2020-05-04 10:44:39 -04:00
parent 6eaab5ada0
commit 6fbbb13904

View File

@@ -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');
}
},