Guardé un grupo de ventanas en la Terminal y lo configuré como mi grupo de inicio predeterminado en las preferencias de la Terminal "Al abrir el inicio: grupo de ventanas ..."
Si luego cambio mi escala de resolución de "Más espacio" a "Mejor (Retina)", todas las ventanas de mi terminal se encogen para que se ajusten (y, de forma extraña, se ensanchan dos columnas).
Creo que el ahorro en el estado de la aplicación se interpone porque estas ventanas de terminales de gran capacidad son todo lo que recibo hasta que las redimensiono a mano.
¿Hay alguna forma de hacer que las ventanas vuelvan a tener el tamaño máximo cuando se vuelva a la resolución normal?