Mutter pull request (GUI elements not loosing focus)

Thanks for the detailed answer! The screenshot of that bug can be found here, and the idea was to provide this fix as an update instead of doing it manually. Perhaps, this bug won’t occur on each installation, but my laptop currently has this bug, and, shall we say, it’s hard to unsee it after noticing, although I can manually use a fix as I did with desktop installation, but I am sure there are a bunch of people who noticed it, and are gonna waiting update instead of figuring out how to fix it.