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.

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

stop anchoring to focus on scroll-up #195504

Merged
merged 9 commits into from
Oct 16, 2023
Merged

stop anchoring to focus on scroll-up #195504

merged 9 commits into from
Oct 16, 2023

Conversation

amunger
Copy link
Contributor

@amunger amunger commented Oct 12, 2023

fix #195324

if the user scrolls up during execution, that will break anchoring to the focused cell since anchoring would scroll down in the notebook - opposing what the user was trying to do. The exception is if the cell editor is focused - that cell will always be anchored.

This change also will no longer anchor to the focused cell if the focused cell would still be fully visible after the resize - this prevents the case that the executing a cell at the top of the view will be pushed out of view by its output unnecessarily.

@amunger amunger requested a review from rebornix October 12, 2023 19:01
@amunger amunger marked this pull request as ready for review October 12, 2023 22:39
Copy link
Member

@rebornix rebornix left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, I like that we move the logic out to a separate component.

@amunger amunger merged commit 9abd7cb into main Oct 16, 2023
6 checks passed
@amunger amunger deleted the aamunger/notebookScrolling branch October 16, 2023 19:59
@github-actions github-actions bot locked and limited conversation to collaborators Nov 30, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Consider disabling the anchoring when a user starts scrolling
2 participants