search

oleid / gnome-shell-teatime

MIT License
37 stars 24 forks source link

Allow reordering of entries in the settings dialog via drag and drop #41

Closed jspitz closed 6 years ago

jspitz commented 6 years ago

This one-liner allows to re-order the entries in the settings dialog with the mouse.

oleid commented 6 years ago

Looks good to me, thanks! :)