Auto-hidden panels now hide themselves to only a corner, as opposed to the
length/width the panel had parallel to the screen edge. This makes it
awkward to see that there's an auto-hidden panel, let alone re-activate it.

While the effect is visually very nice, it does not contribute to the
usability of the panel's auto-hide behavior in my opinion, and should be
made an option at least, or removed if such configuration is too complex.