fixed bug #7270: Shortcut menu does not load user's shortcuts if user is not admin...