Aquí están los ajustes de configuración para la aplicación Terminal en Yosemite.
Muestra que puedo establecer el tamaño de fuente a los distintos valores dados en Terminal. ¿Cómo puedo configurarlo en algún otro valor intermedio, como en mi caso, quiero configurarlo en "15"?