Switch workspace by mouse scroll on the panel. In contrast to alternative extensions purpose of this one is to use the native scroll handler of gnome-shell, so workspace scroll should behave exactly the same as overview scroll or workspace indicator scroll.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
1. Please remove `gettext-domain` since you are not using it (line 5 metadata.json`). - Removed 2. Is this a fork? Is so, you need to mention in the description that this extension is a fork of the other extension: - This is an alternative take on the task at hand rather than a fork, updated the description to explain that. 3. No need to extend `Extension` when you are not using it (line 4 `extension.js`): - Removed (Got confused as `Extension` has `enable` and `disable` methods on it, and I assumed it's needed)
Panel Workspace Scroll