textarea for fast copy-paste is not read-only

If you double-click the code, a textarea is created for fast copy-paste. This is great, it's just that the textarea is not read-only and you can actually edit it...