Preguntas etiquetadas con gnome-terminator

10
¿Cómo preguntar el menú de preferencias de Terminator?

Soy un gran admirador de Terminator . Por defecto, se puede acceder al menú de preferencias haciendo clic derecho en el terminal. Acabo de configurar Terminator para hacer una copia y pegar con el botón derecho (similar a Putty). Desafortunadamente, eso hace que el menú de preferencias ya no sea...