Odpowiedzi:
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)
Zainstaluj gnome-tweak-tool, a pod „Fonts” znajduje się „czcionka tytułu okna”