[gnome-shell] userMenu: Add translation comments

[Adel Gadllah <agadllah src gnome org>]

commit 96239e95ec3ced646b7e7c4ad2f26c196eb8e13b
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Mon Mar 11 00:37:52 2013 +0100

    userMenu: Add translation comments
    
    Seems like "console" vs. "remote" in the "other users" dialog  confuses some
    translators so add a comments to clarify their meaning.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=695601

 js/ui/userMenu.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/userMenu.js b/js/ui/userMenu.js
index c6b60a6..29d6694 100644
--- a/js/ui/userMenu.js
+++ b/js/ui/userMenu.js
@@ -917,8 +917,10 @@ const UserMenuButton = new Lang.Class({
                            session.user.get_real_name() : session.username;
 
             if (session.info.remote)
+                /* Translators: Remote here refers to a remote session, like a ssh login */
                 userLabelText = _("%s (remote)").format(userName);
             else if (session.info.type == "tty")
+                /* Translators: Console here refers to a tty like a VT console */
                 userLabelText = _("%s (console)").format(userName);
             else
                 userLabelText = userName;