Gnome terminal does not follow 'application font'
Submitted by Hidetoshi Tajima
Assigned to Havoc Pennington
In terminal preferences, select "Use same font as other application" then change the Application Font in Preferences -> Font. Nothing happens.
This is due to make_font_monospace() which has "FIXME" comment.
Resolution: RESOLVED FIXED