Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Mouse scroll wheel support #2

Open
yioannides opened this issue Aug 29, 2024 · 2 comments
Open

Mouse scroll wheel support #2

yioannides opened this issue Aug 29, 2024 · 2 comments
Labels
enhancement New feature or request

Comments

@yioannides
Copy link

Thank you for creating this very useful extension!

I wanted to ask whether it would be possible to also include mouse wheel support in the extension. Thank you for your great work!
@popov895 popov895 added the enhancement New feature or request label Aug 29, 2024
@popov895
Copy link
Owner

There is already such an extension - Desktop Zoom . You can ask its author to add support for the version of GNOME you need.

@popov895 popov895 closed this as not planned Won't fix, can't repro, duplicate, stale Aug 29, 2024
@yioannides
Copy link
Author

It's just that the extension you mentioned hasn't been updated since GNOME 43, so considering both extensions are written in Javascript, you could incorporate the mouse scroll function and enhance the functionality of your extension

@popov895 popov895 reopened this Oct 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@popov895 @yioannides