Julian Schacher edfa50f254
Update: Scroll preferences window content on Drag-and-Drop
Scroll the content of the preferences window on Drag-and-Drop, when the
mouse is in the upper or lower part of the content of the preferences
window.
This helps a user, who has e.g. a lot of items, but the preferences
window with a low height, to easily move any item to any position.
2021-07-04 05:16:32 +02:00
2021-05-17 14:37:57 +02:00
Description
A Gnome Shell Extension for organizing your Gnome Shell top bar.
911 KiB
Languages
TypeScript 98.7%
Shell 0.9%
CSS 0.4%