如何减少 gnome 3.18 中的标题栏高度?

如何减少 gnome 3.18 中的标题栏高度?
$ gnome-shell --version                                                
GNOME Shell 3.18.5

$ dpkg -s libgtk-3-0                                                       
Version: 3.18.9-1ubuntu3.3

标题栏

我尝试过这些但没有用: 减少 gnome 3 / gtk+ 3 中的标题栏高度

相关内容