Updated version for tickets #699 and #729
Enabled CTRL-C, CTRL-V and CTRL-X for the terminal
Authored by: numere 2022-10-14
Parent: [r1235]
Child: [r1237]