Skip to content

Fix grab issue when destroying open popup menu

Florian Müllner requested to merge fmuellner/gnome-shell:grab-woes into master

The fix is in the first commit, the second one fixes some related (but harmless) warnings.

Fixes #3022 (closed)

Merge request reports