Ciao,

ho provato con ctrl-c ma nulla.

Invece, selezionandoli tutti me li fa copiare ma... non me li fa poi incollare da nessuna parte, in quanto l'opzione 'incolla' viene disabilitata.