[sidebar view] Set sidebar header metrics in a simpler and better way
This is more correct, simpler, fixes a few small visual glitches and preserves the right header height.
Please register or sign in to comment
This is more correct, simpler, fixes a few small visual glitches and preserves the right header height.