Keep panel usable over fullscreened window when menu applet is opened by shortcut key

[fredcw]

... until fullscreened window is refocused by user. Also remove force-show-panel option from [email protected]

depends on: #12929, #12958

fixes: #11658, #8849, #10230

Also fixes bug mentioned in #11087

If I quickly flick my mouse downward towards the bottom panel that's hidden and then move the mouse away, before the panel has even been fully revealed, it will remain in the visible state until I move my mouse down over it and then move my mouse away from it.

Fixes other bugs where autohide panel hides when mouse is still on panel. e.g. open any applet by clicking on it's panel icon, then click elsewhere on panel to close applet, panel hides. (mentioned in #12962)

edit: for testing, here's the modified files from the 3 PRs
layout.js.txt
panel.js.txt

[Nullcaller]

I'm running the provided modified files, and it's working great so far! Thank you!

[samw-26]

@fredcw Is it possible to make applets on the panel clickable while the menu is open? Currently I have to click twice (or close the menu) to interact with other applets. I think it would be an improvement to take away that extra step.

[fredcw]

@samw-26 That's just the way Cinnamon is designed to work, clicking anywhere outside an applet (popup menu) just closes the applet. Changing that would be a fundamental change to how cinnamon is designed.

[LinuxGuy-cyber]

... until fullscreened window is refocused by user. Also remove force-show-panel option from [email protected]

depends on: #12929, #12958

fixes: #11658, #8849, #10230

Also fixes bug mentioned in #11087

If I quickly flick my mouse downward towards the bottom panel that's hidden and then move the mouse away, before the panel has even been fully revealed, it will remain in the visible state until I move my mouse down over it and then move my mouse away from it.

Fixes other bugs where autohide panel hides when mouse is still on panel. e.g. open any applet by clicking on it's panel icon, then click elsewhere on panel to close applet, panel hides. (mentioned in #12962)

edit: for testing, here's the modified files from the 3 PRs layout.js.txt panel.js.txt

Oh my god, can't believe you did it. Thank you sooooooooooooooooo much! Hope this gets merged.

[3e2j]

Works great! It would be nice without the double click conundrum, but this is a nice fix to restore functionality!

[Saidas25]

... until fullscreened window is refocused by user. Also remove force-show-panel option from [email protected]

depends on: #12929, #12958

fixes: #11658, #8849, #10230

Also fixes bug mentioned in #11087

If I quickly flick my mouse downward towards the bottom panel that's hidden and then move the mouse away, before the panel has even been fully revealed, it will remain in the visible state until I move my mouse down over it and then move my mouse away from it.

Fixes other bugs where autohide panel hides when mouse is still on panel. e.g. open any applet by clicking on it's panel icon, then click elsewhere on panel to close applet, panel hides. (mentioned in #12962)

edit: for testing, here's the modified files from the 3 PRs layout.js.txt panel.js.txt

Tried this on my system (Debian + Cinnamon)
Cinnamon refused to start after, everything black.
thankfully I had backups of the files, could this be because I'm on Debian?

[fredcw]

@Saidas25 cinnamon --version? This is only meant for the latest cinnamon version 6.4.8+