Cannot copy text from Tools -> Messages when output is growing
I'm unable to copy text from Tools -> Messages when new output is constantly added (playing a video with a codec issue, for example). That's annoying, I just lose my selection before I can press CTRL+V. A solution would be welcome.