Yeah, I noticed this since the first moment actually, but I wasn't able to find a rule covering all the cases of decorations we have...
By the way I'd prefer to reduce the headerbar height by reducing the padding of the headerbar elements, so that we can save some vertical space.
Yeah, I noticed this since the first moment actually, but I wasn't able to find a rule covering all the cases of decorations we have...
By the way I'd prefer to reduce the headerbar height by reducing the padding of the headerbar elements, so that we can save some vertical space.