$ gnome-shell --version
GNOME Shell 3.18.5
$ dpkg -s libgtk-3-0
Version: 3.18.9-1ubuntu3.3
我尝试过这些但没有用: 减少 gnome 3 / gtk+ 3 中的标题栏高度
$ gnome-shell --version
GNOME Shell 3.18.5
$ dpkg -s libgtk-3-0
Version: 3.18.9-1ubuntu3.3
我尝试过这些但没有用: 减少 gnome 3 / gtk+ 3 中的标题栏高度