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

userMenu: belatedly rename CSS to match the new filename

Browse Source 
https://bugzilla.gnome.org/show_bug.cgi?id=651299
This commit is contained in:
Dan Winship 2011-09-07 12:23:27 -04:00
parent f2f2898fe3
commit 0febcbfa2a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
data/theme/gnome-shell.css
View File

@ -371,7 +371,7 @@ StTooltip StLabel {
-boxpointer-gap: 4px -boxpointer-gap: 4px
} }
#panelStatusMenu { #panelUserMenu {
spacing: 4px; spacing: 4px;
} }

2
js/ui/userMenu.js
View File

@ -368,7 +368,7 @@ UserMenuButton.prototype = {
_init: function() { _init: function() {
PanelMenu.Button.prototype._init.call(this, 0.0); PanelMenu.Button.prototype._init.call(this, 0.0);
let box = new St.BoxLayout({ name: 'panelStatusMenu' }); let box = new St.BoxLayout({ name: 'panelUserMenu' });
this.actor.set_child(box); this.actor.set_child(box);
this._lockdownSettings = new Gio.Settings({ schema: LOCKDOWN_SCHEMA }); this._lockdownSettings = new Gio.Settings({ schema: LOCKDOWN_SCHEMA });