Re: [galaxy-dev] user-specific tool panel