i think the gnome font settings should change all fonts in the system, not only the ones used by gnome.
i think the gnome font settings should change all fonts in the system, not only the ones used by gnome.