¿Cómo cambio la fuente a la anterior en El Capitan?

La fuente cambió en El Capitán y, en consecuencia, en algunos de mis programas, la fuente está fuera de la pantalla o cortada. ¿Cómo cambio la fuente a la fuente anterior, antes de El Capitán?

Ejemplos:

Diálogo de propiedades del proyecto de Eclipse
Desde el cuadro de diálogo Propiedades de Eclipse

Diálogo de búsqueda de Eclipse
Diálogo de búsqueda de Eclipse

Menú contextual de Firefox
Desde el menú contextual de Firefox

Curioso… Se suponía que la nueva fuente San Francisco tenía el mismo tamaño que la fuente del sistema anterior para evitar este mismo problema. ¿Puede enumerar algunas de las aplicaciones que tienen el problema y publicar capturas de pantalla? Por cierto, Apple ofrece esta presentación de la WWDC sobre esta nueva familia de fuentes del sistema para aquellos interesados ​​en los detalles técnicos.
La próxima vez que lo encuentre, tomaré algunas capturas de pantalla y las publicaré. Además, ¡gracias por los enlaces detallados!
Agregué algunas capturas de pantalla. Agregaré más a medida que los encuentre. Por cierto, me gusta la fuente.

Respuestas (1)

Puedes intentar instalar una aplicación de terceros llamada TinkerTool .

TinkerTool es una aplicación que le brinda acceso a configuraciones de preferencias adicionales que Apple ha integrado en OS X. Esto permite activar funciones ocultas en el sistema operativo y en algunas de las aplicaciones que se entregan con el sistema. Puede descargar el producto de forma gratuita.

Encontrará las nuevas opciones disponibles en Preferencias del sistema y, por lo tanto, puede cambiar la fuente en la pestaña Fuente como se muestra en la figura a continuación:

ingrese la descripción de la imagen aquí

Eso se ve increíble. Parece que hay muchas configuraciones para la fuente del sistema. Los problemas de alineación parecen ocurrir en cuadros de diálogo y ventanas emergentes, pero no estoy 100% seguro. Dado que cada uno es específico para un área del sistema operativo, tal vez una de estas configuraciones lo solucione en todos los ámbitos. Gracias
¿Cómo cambio la fuente a la anterior en El Capitan?
RespuestasAquíPolítica de privacidad1y, 0v