This repository was archived by the owner on Apr 4, 2022. It is now read-only.
Allow for adjusting header height more easily #159
Description
Currently trying to make a header with a lower or higher height is a very frustrating process. I would suggest for a method that would make it more accesible for people to adjust the height. It's a small nitpick though.
When making the height bigger, the backdrop element / background color for focused buttons doesn't scale.
Making the header height smaller results in header elements not vertically centering themselves in the actual height of the header.