Re: [galaxy-dev] Customizing the history panel