Je suis un grand fan de Terminator . Par défaut, le menu des préférences est accessible par un clic droit sur le terminal. Je viens de configurer Terminator pour faire un copier-coller sur clic droit (similaire à Putty).
Malheureusement, cela rend le menu des préférences n'est plus accessible. Quelle est la solution?
Shift
+F10
.