Cinammon panel does not show itself when triggered with the mouse, when placed at the top of the screen

Distribution

Mint 22

Package version

6.2.9

Graphics hardware in use

Intel (macbook air 2011)

Frequency

Always

Bug description

Cinnamon panel is by default at the bottom. When moving it to the top, and setting it to "intelligently hide it", it does not trigger to show up itself (when an app is already maximized). It only shows itself about once every 10 efforts. The bug does not happen when the panel is set to bottom, left, or right. Only happens when set at the top.

Steps to reproduce

1. Move the panel on the Top of the screen.
2. Set it to intelligently-hide it.
3. Open Nemo and maximize it.
4. Using your mouse/touchpad, go to the top of the screen so you can trigger the panel to show up.
5. It doesn't show up. Only shows up seldomly, seemingly randomly. Here, it triggers only once every 8-10 efforts.

Expected behavior

To show up when triggered.

Additional information

The bug doesn't happen for the other orientations, only happens when the panel is on Top orientation. I also changed the ms response time, to no avail.

Start by reproducing the issue on Cinnamon 6.2.9 with the panel at the top, intelligently hidden, and Nemo maximized. Compare mouse-trigger behavior with the bottom, left, and right orientations, then identify the relevant panel auto-hide entry point. Done means the top panel reliably appears when the pointer reaches the screen edge without changing the other orientations.