Reset clip on panel size change

This commit is contained in:
Charles Gagnon
2020-04-05 11:57:58 -04:00
parent 334d130b70
commit d2b4718c3e
2 changed files with 4 additions and 4 deletions

View File

@@ -776,10 +776,10 @@ var dtpPanel = Utils.defineClass({
},
_setPanelPosition: function() {
let container = this.panelBox.get_parent();
let clipContainer = this.panelBox.get_parent();
this.set_size(this.geom.w, this.geom.h);
container.set_position(this.geom.x, this.geom.y);
clipContainer.set_position(this.geom.x, this.geom.y);
this._setVertical(this.panel.actor, checkIfVertical());
@@ -790,6 +790,8 @@ var dtpPanel = Utils.defineClass({
this.panel.actor[(St.Side[p] == this.geom.position ? 'add' : 'remove') + '_style_class_name'](cssName);
});
Utils.setClip(clipContainer, clipContainer.x, clipContainer.y, this.width, this.height);
Main.layoutManager._updateHotCorners();
Main.layoutManager._updatePanelBarrier(this);
},

View File

@@ -350,8 +350,6 @@ var dtpPanelManager = Utils.defineClass({
panelBox.visible = !monitor.inFullscreen;
panelBox.set_position(0, 0);
Utils.setClip(clipContainer, clipContainer.x, clipContainer.y, panel.width, panel.height);
return panel;
},