Posso cambiare il carattere a livello di sistema (10.8.3) [duplicato]

Ecco le preferenze nascoste corrispondenti:

defaults write -g NSSystemFont LucidaGrande
defaults write -g NSSystemFontSize -int 13
defaults write -g NSBoldSystemFont LucidaGrande-Bold
defaults write -g NSBoldSystemFontSize -int 13
defaults write -g NSFont Helvetica
defaults write -g NSFontSize -int 12 
defaults write -g NSFixedPitchFont Menlo-Regular
defaults write -g NSFixedPitchFontSize -int 11
defaults write -g NSMessageFont LucidaGrande
defaults write -g NSMessageFontSize -int 13
defaults write -g NSLabelFont LucidaGrande
defaults write -g NSLabelFontSize -int 10
defaults write -g NSToolTipsFont LucidaGrande
defaults write -g NSToolTipsFontSize -int 11
defaults write -g NSTitleBarFont LucidaGrande
defaults write -g NSTitleBarFontSize -int 13
defaults write -g NSPaletteFont LucidaGrande
defaults write -g NSPaletteFontSize -int 10

Non influenzano le finestre mostrate dai processi di proprietà di root, come la finestra di chiusura forzata. sudo defaults write -g (che modifica /var/root/Library/Preferences/.GlobalPreferences.plist ) riguarda solo loro.

Non è possibile modificare molti tipi di carattere (come il carattere utilizzato nella barra dei menu) e gli elementi di testo non sono allineati correttamente quando si utilizzano caratteri diversi. Puoi anche sostituire Lucida Grande.ttc con altri font.

Un'applicazione di terze parti TinkerTool può cambiarli, nella sua schermata Fonts:

TinkerTool funziona impostando i valori predefiniti, quindi è ragionevole aspettarsi che ci sia un comando defaults write equivalente.