BUG: 394119
I love an auto-hiding panel.
However, if any window wants attention, the panel will *never* hide until I have given focus to each and every attention-seeking window across all desktops. This infuriates me.
The attached patch adds a configuration option to fix this behaviour, so the panel will only appear when I mouse over its activation area or it's being configured, but not if windows want attention.