Eu sou um grande fã do Terminator . Por padrão, o menu de preferências é acessível com um clique direito no terminal. Acabei de configurar o Terminator para fazer uma cópia e colar com o botão direito do mouse (semelhante a Putty).
Infelizmente, isso faz com que o menu de preferências não esteja mais acessível. Qual é a solução?
Shift
+F10
.