[galaxy-commits] [galaxyproject/galaxy] 17e2bd: fixed tab highlighting issue for user->preferences