
It's not really necessary to call clutter_event_type (event) twice for the same event. It also seems to confuse Coverity. Coverity CID: #1508228 Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4175>
It's not really necessary to call clutter_event_type (event) twice for the same event. It also seems to confuse Coverity. Coverity CID: #1508228 Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4175>