Print function

[David Chan]

I wonder if adding a print function at the Code Edit GUI is an good idea, as sometimes we need to copy and paste the whole code to a text editor prior printing.

David