[gnome-shell] userMenu: Update user name on session mode changes

[Florian MÃllner <fmuellner src gnome org>]

commit fc696bc0540a6659df5aab3fa093f2505f22e95a
Author: Florian MÃllner <fmuellner gnome org>
Date:   Tue Dec 11 17:09:34 2012 +0100

    userMenu: Update user name on session mode changes
    
    The new privacy panel offers separate settings for the user name
    visibility in lock screen and normal mode. The code to support
    either setting is already in place, but we need to make sure to
    update the user name on session mode changes to pick up the correct
    one.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=690049

 js/ui/userMenu.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/userMenu.js b/js/ui/userMenu.js
index dbe2ed6..cd421f7 100644
--- a/js/ui/userMenu.js
+++ b/js/ui/userMenu.js
@@ -593,6 +593,7 @@ const UserMenuButton = new Lang.Class({
 
         this.setSensitive(!Main.sessionMode.isLocked);
         this._updatePresenceIcon();
+        this._updateUserName();
     },
 
     _onDestroy: function() {