Domande taggate «mutter»

5
Come modificare l'altezza della barra del titolo nelle app GTK standard e in quelle con headerbar / CSD su Gnome 3.20
In Gnome 3.18, è stato possibile modificare l'altezza della barra del titolo di tutte le finestre modificando il CSS ~/.config/gtk-3.0/gtk.csscome da Riduci l'altezza della barra del titolo in 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; } …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.