Busqué en Google y leí las preguntas y respuestas "Cómo cambiar el emulador de terminal...", pero todas hablan del menú Editar/Preferencias.
Accediendo remotamente al emulador de terminal de un escritorio Ubuntu a través del cliente X2Go usando XFCE4. No tengo ese menú...
(Ubuntu 16.04, Xfce Desktop 4.12, cliente X2Go para Windows 4.1.2.0)
¿Qué me estoy perdiendo?