headerHovered property
getter/setter pair
Indicator whether the info header of desktop design is currently hovered.
Used to prevent showHeader turning off in keepUi, when it's actually hovered by a pointer.
Implementation
bool headerHovered = false;