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

CTRL + Mouse scroll wheel for map zoom no longer works #7649

Open
glebm opened this issue Jan 13, 2025 · 2 comments
Open

CTRL + Mouse scroll wheel for map zoom no longer works #7649

glebm opened this issue Jan 13, 2025 · 2 comments
Assignees
@obligaron

Comments

@glebm
Copy link
Collaborator

glebm commented Jan 13, 2025

Since #6861, CTRL + scroll wheel for map zoom doesn't work.

Specifically, this commit 244d3d2f3. It removed the scroll wheel hack but didn't carry over the CTRL + scroll wheel bindings for the map zoom.
@glebm glebm mentioned this issue Jan 13, 2025
Open
@glebm
Copy link
Collaborator Author

glebm commented Jan 13, 2025 •
edited
Loading

I can see in the discussion in #6861 that this wasn't an oversight:

image

Do we want to restore this functionality? If not, we can close this issue.

@AJenbo
Copy link
Member

AJenbo commented Jan 13, 2025

I really liked it :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@obligaron obligaron

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@AJenbo @glebm @obligaron