Кдешный Starterkit со всеми обновлениями на 26 февраля. Захожу в графическую консоль. Не нравится размер шрифта, хочу его изменить. В меню выбираю пункт "Настройка". Далее выбираю "Редактирование профиля" (профиль для своего юзера создан). Слева выбираю пункт "Внешний вид". Нажимаю кнопку "Выбрать шрифт". В данный момент стоит размер 14. Выбираю размер 15. Нажимаю ОК. В следующем окне нажимаю кнопку "Применить". Нажимаю кнопку ОК. И ничего не происходит, размер шрифта в окне терминала не изменился.
Значит, шрифт такой. У меня всё работает.