Ubuntu 14.04 - перезапуск успеха, зависание зависает

Поскольку для изменения размера шрифта в настройках ярлыка клавиатуры нет ключей, я предполагаю, что «масштабирование» не поддерживается размер шрифта.

Вы можете изменить размер шрифта на вкладке настроек «Внешний вид» », в том месте, где вы выбираете шрифт.

В качестве обходного пути вы можете напрямую изменить конфигурацию на уровне gconf. Пользовательский интерфейс будет напрямую использовать измененный размер шрифта:

gconftool-2 --type string  --set /apps/guake/style/font/style 'DejaVu Sans Mono 10'