Previously, you (Daryl O.) wrote:
I have noticed a bug involving the so-called “AutoHide” feature when one
sets the shelves to ‘closed’ (i.e., not open). It doesn’t always work, so I
often have to press the Windows button to make the ‘taskbar’ shelf appear.
Either a bug or design problem. Try reopening
the shelf (enable the Shelf is Open option), save this,
then shrink the shelf. You’ll notice that after doing
this, the Shelf Config disables Shelf is Open option
i.e. it’s closed, maybe this’ll work all the time.
Has anyone else noticed this?
Not as you described it, but I’ve submitted a PR.