[galaxy-dev] History panel filters

Dear Galaxy devs, I apologize if somebody has already proposed this idea. I think that it would be great to have a filter for the history panel based on name, data type and so on similar to the one on the tools panel. I really feel the need of it when working on histories with many datasets. Federico Zambelli