Skip to content

PCM dev 78f269e - feat(terminal): opzione copy-on-select per copiare la selezione negli appunti

Pre-release
Pre-release

Choose a tag to compare

@github-actions github-actions released this 22 Oct 07:11
· 2 commits to master since this release

feat(terminal): opzione copy-on-select per copiare la selezione negli appunti

Aggiunge l'impostazione globale terminal.copy_on_select (default off):
quando attiva, la selezione col mouse viene copiata anche nella
CLIPBOARD oltre che nella PRIMARY, così è subito disponibile con
Ctrl+V nelle altre applicazioni.

  • checkbox in Impostazioni -> Terminale (IT/EN/DE/FR/ES)
  • applicata subito ai terminali già aperti, anche annidati
  • test sul default e documentazione README