Skip to content

Tweak header bar margins

Remove extra space at the start and end of the header and only add it around the location bar instead. This should improve the look and feel by eliminating the offset that is created by the current code.

When the menubar is placed in the header, there is no need to reserve extra space that functions as window drag area.

Enhances: 23b1736e

Merge request reports

Loading