Popup menus require grab in order to work properly. At the moment a popup menu tries to acquire the grab after it has been opened. If the grab cannot be acquired we should immediately close the menu.
Step 1. Fetch and check out the branch for this merge request
git fetch https://gitlab.gnome.org/azzaronea/gnome-shell.git close-popup-if-cant-grab git checkout -b azzaronea/gnome-shell-close-popup-if-cant-grab FETCH_HEAD
Step 2. Review the changes locally
Step 3. Merge the branch and fix any conflicts that come up
git fetch origin git checkout origin/master git merge --no-ff azzaronea/gnome-shell-close-popup-if-cant-grab
Step 4. Push the result of the merge to GitLab
git push origin master
Note that pushing to GitLab requires write access to this repository.
Tip: You can also checkout merge requests locally by following these guidelines.