¿Cómo me deshago del pequeño nudo que hay en la esquina inferior derecha de mi terminal?

¿Cómo me deshago del pequeño nudo que hay en la esquina inferior derecha de mi terminal?

Estoy configurando XMonad en Linux Mint y pude eliminar la barra de menú y la barra de desplazamiento de las ventanas de mi terminal, pero no puedo deshacerme de la pequeña protuberancia de cambio de tamaño en la esquina inferior derecha. Aquí hay una captura de pantalla:terminal con protuberancia ofensiva

Creo que es una característica de Linux Mint (¿tal vez?), pero no sirve para nada debido a la naturaleza de XMonad, así que me encantaría deshacerme de ella. Por cierto, es gnome-terminal. Supongo que eso es importante.

Editar: Ok, es una característica de gnome-terminal, porque xterm y rxvt no la tienen. Entonces supongo que mi pregunta es: ¿Cómo puedo eliminar el problema de gnome-terminal? Una respuesta es simplemente "usar un emulador diferente", pero espero que haya una manera de deshacerse de él.

Respuesta1

El programa gnome-terminal pega esa protuberancia allí. Comenzó a hacer eso en algún momento durante la transición a Gnome3, y cuando me di cuenta de que no era mi administrador de ventanas o mi entorno de escritorio sino el programa en sí, me molesté tanto que busqué una alternativa.

RoxtermEs actualmente mi emulador de terminal preferido.

[ACTUALIZACIÓN]: He vuelto a usar gnome-terminal. Las versiones más recientes de gnome-terminal (¿o quizás GTK?) ya no agregan el problema, y ​​el mantenedor de Roxterm acaba dedesarrollo detenidodebido a limitaciones de tiempo y una complicada incompatibilidad con el GTK reciente.

Respuesta2

Dado que Gnome-Terminal usa CSS, simplemente puede agregar archivos CSS que representen la esquina de manera diferente.

Cree el siguiente archivo:

~/.config/gtk-3.0/gtk.css

En este archivo escribes las siguientes líneas:

* {
    -GtkWindow-resize-grip-height: 0;
    -GtkWindow-resize-grip-width: 0;
}

Esto "eliminará" el control de cambio de tamaño, perfecto si no desea cambiar de terminal y perder la funcionalidad de gnome-terminal.

información relacionada