Copy / Paste In Script Editor Terminal

Could you add that.
As of b7 when your right click it just deselects.

The standard keyboard shortcuts work just fine in the meantime. CTRL+C to copy, CTRL+V to paste.