Как поменять настройки шрифта в текстовом редакторе Gedit?

*DONT_KNOW* Искал настройки шрифта в текстовом редакторе Gedit, но так и не нашёл. Сразу скажу, у меня Fedora 20, рабочее окружение Gnome 3.
Вот пример того, какой ужасный там шрифт) - работать невозможно нормально:

Я ничего не настраивал, не изменял, этот жуткий шрифт идёт по умолчанию (система буквально вчера установлена). Выглядит как прикол разработчиков над
юзерами (типа, мотивация для работы в vi) :D

chelovekot, разве в настройках нет? В Gedit используется моноширинный шрифт. Его можно поменять (шрифт) через GNOME tweak tool или в настройках gedit'а (должно быть).

На верхней панели кликни на кнопке gedit и выбери Настройки. Кстати если поставишь пакет gedit-plugins то функционал редактора значительно расширится.

Я всё обыскал. Нет ничего, что указывало бы на настройки редактора. *SCRATCH* Вот скриншоты окошек навигации Gedit:

Показать

Сверху на гномопанели кнопка gedit

А если обновишься до Gnome 3.12 то gedit будет выглядеть вот так.

sun написал:

Сверху на гномопанели кнопка gedit

Тьфу, блин... *WALL* *CRAZY* Вот я слепой! Спасибо!

"chelovekot" написал:

Тьфу, блин... bu bm Вот я слепой! Спасибо!

Туда, на гномопанель вынесены менюшки практически всех гномопрограмм.

sun написал:

Сверху на гномопанели кнопка gedit

А если обновишься до Gnome 3.12 то gedit будет выглядеть вот так.

А Gnome 3.12 стабильный? Не крашится ничего? А то 3-ей переустановки системы за 2 дня я уже не выдержу! :D

chelovekot, а из-за чего конкретно переустанавливаете?

"chelovekot" написал:

А Gnome 3.12 стабильный? Не крашится ничего?

Работает без сучка без задоринки. Никаких проблем.

Вот how-to

kirillov3798 написал:

chelovekot, а из-за чего конкретно переустанавливаете?

Да ещё в тот раз неудачно удалил репозитории Russian Fedora fixes с пакетами и всё, иксы рухнули...можно было, наверное, как-то выйти из положения, но мне проще было переустановить систему (быстрее будет, для меня, второй комп есть, но там недопиленный арч))). А второй был не помню из-за чего...а, из-за того, что первый раз переустановил систему через Troubleshooting, из-за чего система стала тормознее Ubuntu.

sun написал:

[quote="chelovekot"]А Gnome 3.12 стабильный? Не крашится ничего?

Работает без сучка без задоринки. Никаких проблем.

Вот how-to[/quote]
Спасибо за ссылку. На досуге озабочусь обновлением гнома. Очень уж он непривычный после убунтовского юнити, но красивый и удобный, нужно просто привыкнуть....

"chelovekot" написал:

но красивый и удобный

Он к тому же в отличии от Unity очень гибко настраиваемый с помошью расширений.