28f85a3308
The 'velocity' argument is not used anymore, since the only caller passing a different value than 0 was the drag motion callback. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/872