Make header bar size easy to change
Opened this issue · 0 comments
Caster commented
Changing the height of the header bar is currently nontrivial. It would be nice if we would have an option that takes a length, to be used for the header bar height.