IDE: text box contents should be made copyable
In the 2p-kt IDE, the content of the text boxes (solution box, theory box, etc.) cannot be copied for later pasting elsewhere. This is a severe limitation: the ability of copying text elsewhere, without previously saving it to file, should be provided. Analogously, solutions (but also outputs, etc.) are often needed for documentation, debug, reports, etc., so they should be copiable too.
Should be fixed in one of the following ways:
preferred approach: simply enable text selection and copying, in a standard way; OR support mouse right-click with contextual menu providing a "copy" item; OR just add a "copy" button (less general, somehow weird, but perhaps quicker to impement..?)