这个好像是所有Gnome主题的通病，标题栏都异常的高，不习惯。我觉得有时间，官方可以修改gnome主题，做成自己的。