Як змінити розмір шрифту в заголовку вікна на гномі?

За замовчуванням рядок заголовка вікна в Gnome має більший розмір шрифту. Як я можу змінити розмір шрифту в заголовку вікна? Я хочу, щоб він був меншим, як у KDE або MS Windows.

— Хабібілла
джерело

Відповіді:

У Gnome 3 ви можете налаштувати шрифти заголовка gnome-tweak-tool:

Fonts > Window title font

або dconf-editor:

org > gnome > desktop > wm > preferences :: titlebar-font

або gsettings(у терміналі):

gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Droid Bold 10'

де Droid Boldназва / тип вашого шрифту і 10розмір. Це працює до тих пір, поки на заголовку не використовуються системні шрифти:

gsettings set org.gnome.desktop.wm.preferences titlebar-uses-system-font false

— don_crissti
джерело

чи є якась програма gui для цієї конфігурації?

— Хабібілла

Так, відповідь оновлена.

— don_crissti

dconf-редактор ненадійний в Ubuntu. bugs.launchpad.net/ubuntu/+source/d-conf/+bug/1024168

— Morpfh

Це працює 14.04?

— Містер П

Ви могли просто відкрити

dconf-редактор , ввівши це в терміналі
перейдіть до: org> gnome> desktop> інтерфейс
змінити шрифт заголовка.

— Адарш Прасад
джерело

dconf-editorможна скинути властивість до значення за замовчуванням (якщо ви його забули як я)

— aliopi