Fix top bar getting stuck on GNOME 42 (!356) · Merge requests · Thomas / hidetopbar

Thomas requested to merge github/fork/jdoe0000000/fix-stuck-panel into master Mar 25, 2022

Created by: jdoe0000000

On GNOME 42, leave-event doesn't fire if the mouse cursor doesn't touch the desktop immediately after leaving the panel, which causes the panel to be stuck. Fix this by listening to changes to the has-pointer property of the panel and all of its visible children instead.

Fixes #354 (closed).

Fix top bar getting stuck on GNOME 42

Merge request reports