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`). 2. Is this a fork? Is so, you need to mention in the description that this extension is a fork of the other extension: [EGO Review Guidelines: metadata.json - description](https://gjs.guide/extensions/review-guidelines/review-guidelines.html#metadata-json-must-be-well-formed) 3. No need to extend `Extension` when you are not using it (line 4 `extension.js`): [EGO Port Guide 45: Extension](https://gjs.guide/extensions/upgrading/gnome-shell-45.html#extension-js) If you need any help with your extension you can ask us on: - [GNOME Matrix Channel](https://matrix.to/#/#extensions:gnome.org) - IRC Bridge: irc://irc.gimpnet.org/shell-extensions
Panel Workspace Scroll