brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

panel: Reposition corners on changes to the monitor layout

Browse Source 
When the monitor layout changes, the panel might have been moved
to another monitor, in which case the rounded corners need to be
repositioned.

https://bugzilla.gnome.org/show_bug.cgi?id=643064
This commit is contained in:
Florian Müllner 2011-02-23 15:16:18 +01:00
parent 172d68d1fe
commit ff171e3651
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
js/ui/panel.js
View File

@ -560,7 +560,7 @@ PanelCorner.prototype = {
this._side = side;
this.actor = new St.DrawingArea({ style_class: 'panel-corner' });
this.actor.connect('repaint', Lang.bind(this, this._repaint));
this.actor.connect('style-changed', Lang.bind(this, this._reposition));
this.actor.connect('style-changed', Lang.bind(this, this.relayout));
},
_repaint: function() {
@ -623,7 +623,7 @@ PanelCorner.prototype = {
cr.restore();
},
_reposition: function() {
relayout: function() {
let node = this.actor.get_theme_node();
let cornerRadius = node.get_length("-panel-corner-radius");
@ -1063,6 +1063,9 @@ Panel.prototype = {
this.actor.set_position(primary.x, primary.y);
this.actor.set_size(primary.width, PANEL_HEIGHT);
this._leftCorner.relayout();
this._rightCorner.relayout();
},
_onTrayIconAdded: function(o, icon, role) {