Comment modifier la police utilisée dans MacOS Sierra ? Apple a-t-il réellement supprimé la possibilité de définir la police de caractères ?
Actuellement, dans MacOS Sierra, la fonction SFMono
La police de caractères fournie avec l'application semble être utilisée. Je ne trouve pas d'élément de menu pour les polices, ni de bouton dans la barre d'outils pour accéder aux polices.
Le menu contextuel du contenu d'une fenêtre Console.app propose une fonction Font
> Show Fonts
article. Le sélecteur de polices standard apparaît. Mais le choix des polices dans le sélecteur n'a aucun effet sur la fenêtre Console.app.