Saya sedang berlari gnome
3.18
dan saya ingin mengurangi ketinggian judul bar.
Ada ide?
Saya sedang berlari gnome
3.18
dan saya ingin mengurangi ketinggian judul bar.
Ada ide?
Jawaban:
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;
}
3px
nilainya 1px
dan itu bagus dan minimal.
margin-top
, margin-bottom
) dengan sederhana margin: 0px;
(yang menyiratkan keempat margin-*
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:
.header-bar.default-decoration {
padding-top: 0px;
padding-bottom: 0px;
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 0px;
padding-bottom: 0px;
}
Anda dapat menambahkan kode ini (pada file yang sama) untuk menghapus baris di bawah bilah judul untuk mengurangi sedikit lebih banyak ukurannya:
/* No line below the title bar */
.ssd .titlebar {
border-width: 0;
box-shadow: none;
}
tekan ALT+ F2, ketik rkotak yang muncul dan tekan Enteruntuk memuat ulang shell gnome.
Dan Anda baik-baik saja :)
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.
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
.titlebar, headerbar {
min-height: 0px;
padding: 0px;
margin: 0px;
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
min-height: 0px;
padding: 0px;
margin: 1px;
}
/*
more or less normal
write this in ~\.config\gtk-3.0\gtk.css
use slashes instead of backslashes
slashes just terrifyin my nano (:
*/
padding: 0px