He guardado un grupo de ventanas en Terminal y lo he establecido como mi grupo de inicio por defecto en las preferencias de Terminal "Al inicio abrir: grupo de ventanas..."
Si luego cambio el escalado de la resolución de "Más espacio" a "Mejor (Retina)" todas las ventanas de mi terminal se encogen para caber (y extrañamente se ensanchan en dos columnas).
Creo que el guardado del estado de la aplicación estorba porque estos Windows de terminal gordos son todo lo que consigo hasta que los redimensiono todos a mano.
¿Hay alguna forma de hacer que las ventanas vuelvan a tener el tamaño completo cuando se cambia a la resolución normal?