Cara mengubah ketinggian batang judul di aplikasi GTK standar dan aplikasi dengan headerbar / CSD di Gnome 3.20
Di Gnome 3.18, dimungkinkan untuk mengubah ketinggian batang judul semua jendela dengan mengubah css ~/.config/gtk-3.0/gtk.csssesuai Mengurangi tinggi judul batang di gnome 3 / gtk + 3 . .header-bar.default-decoration { padding-top: 0px; padding-bottom: 0px; } .header-bar.default-decoration...