Perguntas com a marcação «gnome-terminator»

10
Como pedir o menu de preferências do Terminator?

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...