Я бегу gnome
3.18
и хочу уменьшить высоту строки заголовка.
Есть идеи ?
Я бегу gnome
3.18
и хочу уменьшить высоту строки заголовка.
Есть идеи ?
Ответы:
После Gnome 3.20 .header-bar.default-decoration
не работает.
Вы можете разместить следующий контент в ~/.config/gtk-3.0/gtk.css
:
/* shrink headerbars (don't forget semicolons after each property) */
headerbar {
min-height: 0px;
padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
padding-right: 2px;
background-color: #2d2d2d;
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 0px; /* same as headerbar side padding for nicer proportions */
margin-bottom: 0px;
}
/* shrink ssd titlebars */
.default-decoration {
min-height: 0; /* let the entry and button drive the titlebar size */
padding: 0px;
background-color: #2d2d2d;
}
.default-decoration .titlebutton {
min-height: 0px; /* tweak these two props to reduce button size */
min-width: 0px;
}
window.ssd headerbar.titlebar {
padding-top: 3px;
padding-bottom: 3px;
min-height: 0;
}
window.ssd headerbar.titlebar button.titlebutton {
padding-top: 3px;
padding-bottom:3px;
min-height: 0;
}
3px
значения на 1px
и это приятно и минимально.
margin-top
, margin-bottom
) просто margin: 0px;
(что подразумевает все четыре margin-*
направления).
padding-right: 6px;
строку 31, чтобы поместить отступ между боковой панелью заголовка окна и кнопкой X «закрыть окно».
padding-left: 6px
, чтобы значок некоторых приложений не сжимался до краев.
Чтобы уменьшить размер заголовка, просто создайте css
файл в этом месте: ~/.config/gtk-3.0/gtk.css
и скопируйте и вставьте код ниже; это изменит размер заголовка:
.header-bar.default-decoration {
padding-top: 0px;
padding-bottom: 0px;
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 0px;
padding-bottom: 0px;
}
Вы можете добавить этот код (в тот же файл), чтобы удалить строку под заголовком заголовка, чтобы немного уменьшить размер:
/* No line below the title bar */
.ssd .titlebar {
border-width: 0;
box-shadow: none;
}
нажмите ALT+ F2, введите rпоявившееся поле и нажмите, Enterчтобы перезагрузить оболочку гнома.
И ты в порядке! :)
Для максимизированных окон, я могу рекомендовать этот Gnome Shell Extension под названием Pixel Saver чувака deadalnix . Строка заголовка исчезнет (больше места для пользователей ноутбука), но вы все равно можете увидеть заголовок окна на черной панели действий.
В зависимости от вашего дистрибутива Linux и менеджера пакетов и / или пакета, установите Gnome Tweak Tool .
Выберите вкладку « Шрифты » в боковом меню.
Затем установите для параметра Высота текста для заголовков окон значение, которое вам нужно.
ПРИМЕЧАНИЕ : это применимо только к более старым версиям GNOME
.titlebar, headerbar {
min-height: 0px;
padding: 0px;
margin: 0px;
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
min-height: 0px;
padding: 0px;
margin: 1px;
}
/*
more or less normal
write this in ~\.config\gtk-3.0\gtk.css
use slashes instead of backslashes
slashes just terrifyin my nano (:
*/
padding: 0px