Jak zmienić rozmiar i wysokość czcionki paska tytułowego w oknach Gnome Shell

2

Czy można dostosować rozmiar czcionki i inne właściwości paska tytułu okna w gnome-shell?

fonts gnome styles gnome-shell nilfric
źródło

Odpowiedzi:

1

Możesz przyciąć pasek tytułu za pomocą

  • Otwórz terminal

  • Utwórz plik „gtk.css”, w katalogu /home/(userdirectory)/.config/gtk-3.0/gtk.css

    $ cd / home / (katalog_użytkownika) // zmień w katalogu nazwy użytkownika $ gedit .config / gtk-3.0 / gtk.css

  • wstaw kod poniżej

    .header-bar.default-decoration {padding-top: 4px; padding-bottom: 4px; } .header-bar.default-decoration .button.titlebutton {padding-top: 2,5px; padding-bottom: 2,5px; }

  • Zamknij i zapisz Gedit

  • Uruchom ponownie Gnome Shell (Alt + F2, r)

Ratman
źródło
0

Zainstaluj gnome-tweak-tool, a pod „Fonts” znajduje się „czcionka tytułu okna”

enter image description here

khajvah
źródło
Dziękuję, że działa dla typu i rozmiaru czcionki, ale chcę też zmienić wysokość, kolor i może paski ikon.
nilfric
@nilfric W tym celu musisz użyć motywów. Motywy Google lub jak stworzyć własny motyw
khajvah
Hmm, miałem nadzieję, że będzie sposób na zmianę tego w gnome-session.css, ale nie mogę znaleźć żadnej klasy, która odnosi się do paska tytułowego.
nilfric