Терминальный профиль не отображает все доступные шрифты

Мой профиль терминала GNOME позволяет мне выбирать только монофонические шрифты и Courier. Я пытаюсь использовать шрифт Source Code Pro на своем терминале Ubuntu. Я успешно установил его в ~/.fonts, и он отображается в любой другой программе, как и все остальные шрифты. Но в профиле терминала указаны только некоторые шрифты.

Как использовать шрифт Source Code Pro и другие шрифты в терминале GNOME?

Вот информация о моем Ubuntu 14.04, скажите мне, если вам нужно больше:

Linux dev 3.13.0-24-generiC#47-Ubuntu SMP пт 2 мая 23:30:00 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux