Mi sistema operativo es Ubuntu 18.04 con la interfaz de usuario de Unity. Quiero cambiar el tamaño de fuente de mi terminal presionando ( Ctrl+ +) y ( Ctrl+ -). Así que configuro mis atajos desde las preferencias del terminal y funciona:
Pero el tamaño de la ventana del terminal también aumenta/disminuye, por lo que si creo un texto más pequeño, el terminal se hace más pequeño y tengo que cambiar su tamaño manualmente. Si acople el terminal con la opción de pantalla dividida (arrastrándolo hacia la izquierda o hacia la derecha) no cambia de tamaño. Pero esto significa que cada vez necesito acoplarlo con la opción de pantalla dividida y quiero una mejor solución.
Respuesta1
Pero el tamaño de la ventana del terminal también aumenta/disminuye.
En el caso de GNOME Terminal, este es el comportamiento previsto.
Con el acoplamiento y la pantalla dividida, existe una "fuerza" externa que mantiene sin cambios el tamaño de la ventana (medido en píxeles). Esta "fuerza" anula la solicitud de la Terminal GNOME sobre los tamaños de ventana preferidos (para que quepan celdas de caracteres completas), por lo que normalmente obtiene espacio adicional no utilizado a la derecha y en la parte inferior.
Con las ventanas "normales" (no acopladas, no maximizadas, etc.) no existe tal "fuerza" externa, por lo que el tamaño de la ventana aún cambiaría ligeramente (para acomodar siempre celdas enteras, en cualquier tamaño de fuente actual), o usted Si ya no tuviera sugerencias de geometría de incremento de cambio de tamaño, terminaría con un cambio de tamaño continuo como lo hacen otros emuladores de terminal como konsole.
Ninguna de estas soluciones es perfecta, cada una tiene sus pros y sus contras. Los desarrolladores de GNOME Terminal decidieron mantener el tamaño de la ventana medido en celdas de caracteres, es decir, una opción de zoom no afecta la aplicación que se ejecuta en el interior (a menos que alguna "fuerza externa" fuerce un tamaño diferente).