Hi all. On 18.04, how is the panel supposed to behave when set to hide? If I put the panel on the top, it hides in Automatic and Intelligent modes (difficult to tell any difference), and when I move the mouse to the top it shows it, somewhat too sensitively in my opinion (wish there were a push option).
When I move the panel to the bottom, it hides appropriately in both modes, but when I move the pointer to the bottom, it doesn’t show at all in either mode.
What is the desired behavior, and the desired difference between Automatic and Intelligent? Thanks!