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

Ignore vertical_scroll_margin when the user moves the cursor using the mouse. #18148

Open
1 task done
filippogallizia opened this issue Sep 20, 2024 · 1 comment · May be fixed by #20287
Open
1 task done

Ignore vertical_scroll_margin when the user moves the cursor using the mouse. #18148

filippogallizia opened this issue Sep 20, 2024 · 1 comment · May be fixed by #20287
Labels
editor Feedback for code editing, formatting, editor iterations, etc enhancement [core label] mouse interaction Feedback for mouse interaction states, actions, etc scroll / scrollbar Feedback for scrollbar behavior, style, etc

Comments

@filippogallizia
Copy link

Check for existing issues

  • Completed

Describe the feature

Currently, when moving the cursor with the mouse, the vertical_scroll_margin is applied, causing the page to scroll. This results in the cursor no longer aligning with the mouse pointer after clicking, which can feel unintuitive.

Requested Behavior:

Disable the vertical_scroll_margin when the user moves the cursor by clicking with the mouse.
The vertical_scroll_margin should still be respected when using keyboard navigation (e.g., arrow keys), but not for mouse interactions.

I come from JetBrains editor which behave like this and I think it's better.

If applicable, add mockups / screenshots to help present your vision of the feature

Screen.Recording.2024-09-20.at.16.57.22.mov
@filippogallizia filippogallizia added admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue labels Sep 20, 2024
@JosephTLyons JosephTLyons added mouse interaction Feedback for mouse interaction states, actions, etc editor Feedback for code editing, formatting, editor iterations, etc scroll / scrollbar Feedback for scrollbar behavior, style, etc and removed triage Maintainer needs to classify the issue admin read Pending admin review labels Sep 23, 2024
@github-actions github-actions bot mentioned this issue Sep 27, 2024
Open
@kuglee
Copy link

kuglee commented Oct 11, 2024

Just wanted to report this. It would be nice to have the option to disable this. Coming from Intellij with IdeaVim I really miss this feature.

@haruleekim haruleekim linked a pull request Nov 6, 2024 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
editor Feedback for code editing, formatting, editor iterations, etc enhancement [core label] mouse interaction Feedback for mouse interaction states, actions, etc scroll / scrollbar Feedback for scrollbar behavior, style, etc
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Disable editor autoscroll on mouse clicks haruleekim/zed
3 participants
@kuglee @JosephTLyons @filippogallizia