Im Seattle waren die noch normal.
Das was in Berlin die Menüleiste höher ist, sind die Tabs kleiner, so dass am Ende der Editorbereich nur 1 oder 2 Pixel weiter unten anfängt.
Das ginge auch besser... Menüleiste so niedrig wie in Seattle und es wäre geringfügig mehr statt weniger Platz.