Hi all
I’ve a F13 with Linux Mint 22 Cinnamon (fully updated). I set a top-panel to autohide - as I have on my ThinkPads - and the panel never shows itself; the pointer can be at the top of the screen for ages, and seemingly the un-hide time can be set to anything - the panel never appears.
I’ve got the DPI scaling set as it was set automatically, namely, to x2.
Anyone met this problem, please? Anyone have a solution? Rebooting did not help.