Upon changing the gnome font rendering settings with the "Appearance" preference tool, on the "Fonts" tab, the font used in the terminal of gnome-terminal / vte does not change, while all the other fonts do reflect the changes made. Screenshot to follow.
Upon changing the gnome font rendering settings with the "Appearance" preference tool, on the "Fonts" tab, the font used in the terminal of gnome-terminal / vte does not change, while all the other fonts do reflect the changes made. Screenshot to follow.