Script Editor

**Hi, i would like to raise your attention about an issue i think it could improve the user experience of the GUI:

if you’re using the script editor the output can never be copied in any way.

I think a fix of this would improve a lot the experience cause the tool is really useful and i usually use it very often.

If it’s something already solved, please explain what am I doing wrong.**