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