Hello, thanks for the idea, but where can we put it? I tried to put it next to the command line help button, but this space is visible with all tabs, which makes it not suited to the task. I think the ideal would be to have this possibility in the menu that pop up on right click in the log area, but I don't know yet how to do that. I'm opening a feature request here
to remember it for the future.