![Jonas Dreßler](/assets/img/avatar_default.png)
While there's an ongoing animation to switch pages, we should ignore all drag events as those will end up moving the drag item to an unwanted position. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2348>
While there's an ongoing animation to switch pages, we should ignore all drag events as those will end up moving the drag item to an unwanted position. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2348>