Re: [galaxy-dev] [patch] re-fix user menu for use_remote_user = True mode

It looks like that was accidentally undone in cset 03d06d05bf62 and partially fixed in cset 5f87abcf4854 but the attached (and inlined) patch should fix the rest of it.

Added as changeset 4396:d80539104bc3 Thanks! J.