Вопросы с тегом «mutter»

5
Как изменить высоту заголовка в стандартных приложениях GTK и приложениях с заголовками / CSD в Gnome 3.20
В Gnome 3.18 можно было изменять высоту заголовка всех окон, изменяя css в ~/.config/gtk-3.0/gtk.cssсоответствии с уменьшением высоты строки заголовка в gnome 3 / gtk + 3 . .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 */ …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.