2690c0266a
Since the changes that allow user select-able border widths our calculation of minimum area heights is incorrect in that it does not take into account border width. This PR improves this calculation so that as you resize windows and areas none go below header height. Pull Request: https://projects.blender.org/blender/blender/pulls/137498