ฉันพบวิธีแก้ปัญหา มันสามารถทำได้โดยการเพิ่มการกำหนดค่าใน~/.config/gtk-3.0/gtk.css
: รายการborder-radius
คือการลดรัศมีของมุม; คนอื่นจะลดความสูงของแถบชื่อเรื่อง (ซึ่งฉันเดาว่าคนส่วนใหญ่ต้องทนทุกข์ทรมานจากใน gnome 3.18+ เมื่อไม่มี. xml สำหรับการปรับตัว)
/* Locate in "~/.config/gtk-3.0/" to decrease title bar in gnome 3 */
/* INFO: valid for Gnome 3.19+ */
/* shrink headebars */
headerbar {
min-height: 28px;
border-radius: 2px; /* remove the rounded corners*/
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 1px;
margin-bottom: 1px;
}
/* shrink ssd titlebars */
.default-decoration {
min-height: 0; /* let the entry and button drive the titlebar size */
}
.default-decoration .titlebutton {
min-height: 16px; /* tweak these two props to reduce button size */
min-width: 16px;
border-radius: 1px;
}