Как уменьшить размер массивного поля заголовка / отступа в GNOME

Недавно я сделал обновление с 15.04 до 15.10, и я не верю, что поля были почти такими нелепыми, поэтому мне интересно, возможно, что-то было сброшено / изменено.

Как видите, верхняя панель GNOME имеет нормальный размер, а панель вкладок Firefox также имеет нормальный размер. Тогда чмок в середине - это чудовище строки заголовка, которое примерно вдвое больше, чем должно быть.

Я использую Numix для темы GTK+, которая никогда не выглядела такой раздутой на любой другой машине, на которой я ее использовал. Я попытался уменьшить размер шрифта в строке заголовка, но проблема заключается в полях / заполнении, которое я предполагаю, для которого нет никаких настроек.

2 ответа

Решение

Создать или изменить ~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none; 
     background-image: linear-gradient(to bottom, 
                    shade(@theme_bg_color, 1.05), 
                    shade(@theme_bg_color, 0.99)); 
     box-shadow: inset 0 1px shade(@theme_bg_color, 1.4); 
} 

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
} 

Затем перезапустите оболочку GNOME, нажав Alt+F2 и r как команда.

Источник: http://jadelinux.com/fedoratips/titlebarheight.html

Создать или изменить ~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none;
}

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
}

Затем перезапустите оболочку GNOME, нажав Alt+F2 и r как команда.


Дополнительные биты, опущенные в этом ответе, испортили тему Numix.

Другие вопросы по тегам