Joa haben sich die Entwickler ein bisschen verausgabt an den Möglichkeiten der HeaderBar.

wäre nur schön wenn andere Gnome Anwendungen dann auch mehr auf die HeaderBar platzieren damit es einheitlich wird.