From 0febcbfa2ae2d5ee9d85f210ae800d6db3b86aee Mon Sep 17 00:00:00 2001 From: Dan Winship Date: Wed, 7 Sep 2011 12:23:27 -0400 Subject: [PATCH] userMenu: belatedly rename CSS to match the new filename https://bugzilla.gnome.org/show_bug.cgi?id=651299 --- data/theme/gnome-shell.css | 2 +- js/ui/userMenu.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css index 8d3580e0e..b5a100b9e 100644 --- a/data/theme/gnome-shell.css +++ b/data/theme/gnome-shell.css @@ -371,7 +371,7 @@ StTooltip StLabel { -boxpointer-gap: 4px } -#panelStatusMenu { +#panelUserMenu { spacing: 4px; } diff --git a/js/ui/userMenu.js b/js/ui/userMenu.js index 7a32d8775..2215f2447 100644 --- a/js/ui/userMenu.js +++ b/js/ui/userMenu.js @@ -368,7 +368,7 @@ UserMenuButton.prototype = { _init: function() { 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._lockdownSettings = new Gio.Settings({ schema: LOCKDOWN_SCHEMA });