3461a0523c
We currently sort buttons by the stable sequence to get a persistent and predictable order. However some users want to customize that order, and rearrange the buttons as they see fit. Support that use case by implementing drag-and-drop behavior based on the overview's dash. Closes https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/4 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/338>