Utilizo un monitor externo de alta resolución en el trabajo y aumento el tamaño de fuente en mi terminal para una mejor visibilidad.
Pero el texto en la barra de pestañas está atascado en el tamaño predeterminado. Cambiar el tamaño de fuente no afecta el tamaño de fuente de la pestaña y no pude encontrar ninguna configuración que pudiera modificar para lograr lo mismo.
Intentar acercar usando ⌘+también afecta solo el texto dentro del terminal y no las pestañas.
¿Cómo cambio el tamaño de fuente del texto en la pestaña?
Respuesta1
Vaya a preferencias > avanzado y busque "fuente de pestaña". Debe habilitar tamaños de fuente personalizados y luego puede establecer el tamaño en puntos allí. Este cambio entra en vigor tan pronto como salga de las preferencias; no es necesario reiniciar el terminal (al menos en V3.4).
