The source project of this merge request has been removed.
Improve header label's mouse area
- The header's labels fill all the width now, but their mouse areas don't need to do that.
- Those mouse areas should not eat hovering events which are needed for displaying the tooltip.