У вас несколько проблем:
Thus
for (( i=0; i<=5; i++ ))
do
for (( j=0; j<=i; j++ ))
do
echo -n "$((2 ** j)) "
done
echo ""
done
produces
1
1 2
1 2 4
1 2 4 8
1 2 4 8 16
1 2 4 8 16 32
На самом деле, часть кода, которую я нашел на reddit и опубликовал выше, а именно
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 2px; /* same as headerbar side padding for nicer proportions */
margin-bottom: 2px;
}
DOES изменяет headerbars/CSDs. Однако эффект не является немедленным. Даже если вы перезагрузите gnome, вам может понадобиться закрыть все окна, подождать некоторое время или выйти из системы и снова войти, чтобы увидеть эффект.
Я все еще не вижу никакой разницы в строке заголовка при изменении следующих параметров.
headerbar {
min-height: 38px;
padding-left: 2px; /* same as children's vertical margins for nicer proportions */
padding-right: 2px;
}
Две секции для обычных панелей заголовков окон работают как ожидалось.
.default-decoration {
min-height: 0; /* let the entry and button drive the titlebar size */
padding: 2px
}
.default-decoration .titlebutton {
min-height: 26px; /* tweak these two props to reduce button size */
min-width: 26px;
}
Вы можете использовать следующее, чтобы удалить границу панели заголовков, если вы используете тему adwaita по умолчанию. От https://bbs.archlinux.org/viewtopic.php?id=211102
window.ssd headerbar.titlebar {
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);
}
ALT + F2
и введите r
Я смог уменьшить панель заголовков приложений на Gnome 3.20 с помощью следующего CSS:
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 0px; /* same as headerbar side padding for nicer proportions */
margin-bottom: 0px;
}
headerbar {
min-height: 24px;
padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
padding-right: 2px;
margin: 0px; /* same as headerbar side padding for nicer proportions */
padding: 0px;
}
Я изменил usr / share / themes / name-of -the-theme / gnome-shell / gnome-shell.css
файл.
Мы должны найти
/* Panel */
#panel {
background-gradient-direction:none;
background-color: rgba(0,0,0,0.5);
/* border: 0px solid rgba(90,105,111,0.5);
box-shadow: 0px 0px 0px 1px rgba(0,0,0,0.15);*/
border: 1px solid rgba(90,105,111,0.5);
box-shadow: 0px 1px 3px 1px rgba(0,0,0,0.5);
border-top:0px;border-right:0px;border-left:0px;
font-weight: bold;
height: 24px;
Мы должны изменить значение «высоты». После этого нам нужно перезагрузить тему. Для остальных параметров верхней панели я использую расширение «конфигуратор действий».
По отношению к теме вы можете загрузить максимальное расширение оболочки , чтобы скрыть строку заголовка в развернутых окнах. Довольно полезный вариант использования.
Насколько мне известно, несовместимо с Wayland, но не тестировал.
Actualiza tu ~/.config/gtk-3.0/gtk.css
con el siguiente contenido:
/* 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;
}
В моей Ubuntu 20.04 я использую это исправление пользовательской темы (Gnome 3.20 на стандартной теме Yaru )и работает хорошо.
headerbar.default-decoration {
min-height: 18px;
margin: 0px 0px 0px 0px;
padding: 2px 2px 2px 2px;
}
headerbar.default-decoration button.titlebutton {
min-height: 16px;
min-width: 16px;
margin: 0px 0px 0px 0px;
padding: 2px 2px 2px 2px;
}
headerbar {
min-height: 18px;
margin: 0px 0px 0px 0px;
padding: 2px 2px 2px 2px;
}
headerbar entry, headerbar spinbutton, headerbar button, headerbar switch, headerbar separator {
margin: 0px 0px 0px 0px;
padding: 0px 0px 0px 0px;
}
headerbar button.titlebutton.minimize, headerbar button.titlebutton.maximize, headerbar button.titlebutton.close {
min-height: 16px;
min-width: 16px;
margin: 0px 0px 0px 0px;
padding: 2px 2px 2px 2px;
}