
Respuesta1
¿Por casualidad tienes un tamaño de fuente diferente en tus otras pestañas?
Al cambiar entre pestañas de diferente tamaño de fuente en una pantalla maximizada/completa gnome-terminal
(o mate-terminal
), ocurren problemas de tamaño extraños. El emulador de terminal quiere cambiar su tamaño (para mantener la misma cantidad de celdas de caracteres que se pueden ver con ventanas no maximizadas; mantener la misma cantidad de píxeles no podría funcionar junto con cambios de tamaño alineados con la cuadrícula), pero, por otro lado, la ventana manager rechaza y revierte el intento de cambio de tamaño del emulador de terminal. Esto genera dos eventos consecutivos de cambio de tamaño de ida y vuelta hacia la aplicación cliente. Ver por ejemplohttps://bugzilla.gnome.org/show_bug.cgi?id=731137.
Mientras tanto, hemos visto varios informes de errores de este tipo en emuladores de terminal donde finalmente resultó que vim
no maneja correctamente los eventos de cambio de tamaño que llegan en corta sucesión. Esto debería llamarse vim
la atención de los desarrolladores y ellos deberían solucionarlo.