-
Notifications
You must be signed in to change notification settings - Fork 13
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
(enhancement) Change workspaces using mouse wheel/add next workspace when using dynamic workspaces #9
Comments
This shouldn't actually too hard if you want to try have a go at coding it yourself :) Especially relevant if you are taking part in Hacktoberfest |
I have made this feature |
@yurenchen000 feel free to open a PR and I'll give it a look first chance I get :) |
the PR@MichaelAquilina I didn't implement add-workspace operator, cause I rarely use that feature.
Thoughts about mouse switch workspacesI switch workspaces very frequently every day, so I think a lot about how to switch workspace as easy as possible (and not conflict with other operation)
gnome-shell has builtin mouse-scroll workspace switch support, but..
so I think about
what do you think |
It would be great if there will be option to change workspaces using scroll wheel when hovering cursor over this extension buttons, also allow to create one new dynamic workspace when changing workspaces using mouse wheel.
The text was updated successfully, but these errors were encountered: