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

Always show scrollbar padding in WindowedList #1341

Merged
merged 1 commit into from
Apr 7, 2023
Merged

Always show scrollbar padding in WindowedList #1341

merged 1 commit into from
Apr 7, 2023

Conversation

gdbroman
Copy link
Contributor

@gdbroman gdbroman commented Apr 6, 2023

Before After
before after

@gdbroman gdbroman self-assigned this Apr 6, 2023
@gdbroman gdbroman linked an issue Apr 6, 2023 that may be closed by this pull request
New chat TODO list #1298
Closed
44 tasks
@gdbroman gdbroman marked this pull request as ready for review April 6, 2023 20:32
@gdbroman gdbroman requested a review from drunkplato April 6, 2023 20:32
drunkplato
drunkplato requested changes Apr 7, 2023
View reviewed changes
Copy link
Contributor

@drunkplato drunkplato left a comment

Choose a reason for hiding this comment

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

It should start at the bottom.

@drunkplato drunkplato added the build Build a merged PR (e.g merge into master or production) label Apr 7, 2023
@drunkplato drunkplato merged commit 1805962 into master Apr 7, 2023
@drunkplato drunkplato deleted the fix-no-overflow branch April 7, 2023 10:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@drunkplato drunkplato drunkplato requested changes

Assignees

@gdbroman gdbroman

Labels
build Build a merged PR (e.g merge into master or production)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

New chat TODO list
2 participants
@gdbroman @drunkplato