Sono un grande fan di Terminator . Per impostazione predefinita, il menu delle preferenze è accessibile con un clic destro sul terminale. Ho appena configurato Terminator per fare un copia incolla con il tasto destro (simile a Putty).
Sfortunatamente, ciò rende il menu delle preferenze non più accessibile. Qual'è la soluzione?
Shift
+F10
.