Setelah Gnome 3.20, .header-bar.default-decoration
tidak berfungsi.
Anda dapat memasukkan konten follow ke ~/.config/gtk-3.0/gtk.css
:
/* shrink headerbars (don't forget semicolons after each property) */
headerbar {
min-height: 0px;
padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
padding-right: 2px;
background-color: #2d2d2d;
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 0px; /* same as headerbar side padding for nicer proportions */
margin-bottom: 0px;
}
/* shrink ssd titlebars */
.default-decoration {
min-height: 0; /* let the entry and button drive the titlebar size */
padding: 0px;
background-color: #2d2d2d;
}
.default-decoration .titlebutton {
min-height: 0px; /* tweak these two props to reduce button size */
min-width: 0px;
}
window.ssd headerbar.titlebar {
padding-top: 3px;
padding-bottom: 3px;
min-height: 0;
}
window.ssd headerbar.titlebar button.titlebutton {
padding-top: 3px;
padding-bottom:3px;
min-height: 0;
}
via https://ogbe.net/blog/gnome_titles.html
padding: 0px
3px
nilainya1px
dan itu bagus dan minimal.margin-top
,margin-bottom
) dengan sederhanamargin: 0px;
(yang menyiratkan keempatmargin-*
arah).padding-right: 6px;
sebagai baris 31 untuk meletakkan beberapa padding antara sisi headerbar jendela dan tombol X "window dekat".padding-left: 6px
, untuk tidak memiliki ikon dari beberapa aplikasi yang diperas ke tepi.Untuk mengurangi ukuran batang judul, cukup buat
css
file di lokasi ini:~/.config/gtk-3.0/gtk.css
dan salin tempel kode di bawah ini; ini akan mengubah ukuran bilah judul:Anda dapat menambahkan kode ini (pada file yang sama) untuk menghapus baris di bawah bilah judul untuk mengurangi sedikit lebih banyak ukurannya:
tekan ALT+ F2, ketik rkotak yang muncul dan tekan Enteruntuk memuat ulang shell gnome.
Dan Anda baik-baik saja :)
sumber
Untuk windows yang dimaksimalkan, saya dapat merekomendasikan Gnome Shell Extension ini yang disebut Pixel Saver oleh seorang pria deadalnix . Bilah judul akan menghilang (lebih banyak ruang untuk pengguna notebook), tetapi Anda masih bisa melihat judul jendela di bilah aktivitas hitam.
sumber
Bergantung pada distribusi Linux Anda dan manajer paket dan / atau paket, instal Gnome Tweak Tool .
Pilih tab " Fonts " di menu samping.
Kemudian, atur Tinggi Teks untuk Judul Jendela ke angka serendah yang Anda inginkan.
CATATAN : ini hanya berlaku untuk versi GNOME yang lebih lama
sumber
Berfungsi untuk Ubuntu 18.04 dengan gnome-session-flashback
sumber