În mod surprinzător, această întrebare comună aparent nu a fost postată niciodată aici înainte - am căutat un duplicat în zadar.
Gnome nu expune utilizatorilor modificări detaliate ale aspectului. Nici măcar nu expune schimbarea unei teme - trebuie să instalați Gnome Tweaks pentru asta.
Cea mai ușoară opțiune de a schimba înălțimea unei bare de titlu este schimbarea la o temă adecvată. Aceasta, totuși, este o abordare totul sau nimic. Trebuie să luați întreaga temă așa cum este.
Probabil că ești mai bine cu ceva codare manuală. Creați un fișier ~/.config/gtk-3.0/gtk.css și introduceți sau adaptați următorul cod css:
intrare din bara de antet,
butonul rotativ din bara de antet,
butonul din bara de antet,
headerbar separator {
margin-sus: 0px; /* la fel ca umplutura laterală a barei de antet pentru proporții mai frumoase */
margine-jos: 0px;
}
bara de antet {
înălțime minimă: 24px;
padding-stânga: 2px; /* la fel ca marginile verticale pentru copii pentru proporții mai frumoase */
padding-dreapta: 2px;
marjă: 0px; /* la fel ca umplutura laterală a barei de antet pentru proporții mai frumoase */
umplutură: 0px;
}
Deconectați-vă și apoi reconectați-vă pentru ca modificările să aibă efect (sau resetați Gnome Shell cu Alt+F2, r când pe Xorg).
Foliate Ebook reader înainte de a schimba gtk.css
Foliate Ebook reader după schimbarea gtk.css
