Как уменьшить высоту панели заголовка в GNOME 3.18?
$ gnome-shell --version
GNOME Shell 3.18.5
$ dpkg -s libgtk-3-0
Version: 3.18.9-1ubuntu3.3
я пробовал это, но не работает: уменьшить высоту строки заголовка в гноме 3 / GTK + 3