Re: [galaxy-user] Bug ? in Galaxy Cloudman display