Acabo de actualizar a Ubuntu 17.10 y tengo problemas para maximizar la ventana del terminal hacia la izquierda y hacia la derecha. Cuando maximizo la ventana del terminal a un lado de la pantalla, no usa la altura completa de la pantalla y está cortada en la parte inferior:
Cuando abro una nueva pestaña en la terminal, la altura de la ventana se extiende más allá de la altura de la pantalla:
Esto no ocurre al maximizar la ventana por completo ni con otras aplicaciones.
El segundo problema hace que sea imposible usar el terminal con múltiples pestañas cuando se maximiza hacia la izquierda/derecha. ¿Cómo puedo solucionar esto?
Respuesta1
El primero no es necesariamente un error. Las aplicaciones de terminal suelen pedir al administrador de ventanas que respete ciertos criterios de tamaño (múltiplo del tamaño de celda). En este caso GNOME Shellse respeta esta solicitud. (Aunque, de hecho, es inconsistente que cuando se maximiza por completo, las sugerencias de geometría ya no se respetan y el "espacio" pertenecerá a GNOME Terminal).
El segundo parece un error, deberías archivarlo en GNOME Shell.
Como solución alternativa, GNOME Terminaltiene una opción de configuración oculta para mostrar la barra de pestañas incluso si solo hay una pestaña presente. Puedes activarlo con
dconf write /org/gnome/terminal/legacy/tab-policy '"always"'
(y revertir con '"automatic"'o dconf reset ...).
ACTUALIZAR:
gnome-terminalacaba de recibir una solución/solución alternativa (no estoy seguro de cómo llamarla) para el segundo problema (informe de error,comprometerse). Aparecerá en la próxima versión 3.28 ypodríaobtenga una copia de seguridad a 3.26.x también.
ACTUALIZACIÓN2:
GTK+La versión 3.22.25 soluciona correctamente ambos problemas (informe de error,cometer 1,cometer 2,cometer 3- Ipensares el primer compromiso lo que es realmente importante aquí).