
This is just "necessary" for --nested stages, since the pointer is allowed to leave the stage in that case. Since the only side effect is that there is still a pointer focus somewhere inside the stage, simply drop this. This is a small leftover of commit b8f92a6ce4966, since we stopped handling the double ENTER event there. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2311>