Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Fix ScrollbarPainter thumbExtent calculation and add padding #31763
Fix ScrollbarPainter thumbExtent calculation and add padding #31763
Changes from 15 commits
c46cec9
42bf521
ef0a54e
a2cec76
4432ff3
134df49
7792e4d
0386126
71edbc8
4e4c640
c06299f
4433a94
ffddf9c
5833e34
96924ec
74c79a8
6a62e9c
2532fdb
5e1e04a
f267818
1d94387
5aaf9d1
0ab4191
7eaacda
8e31413
12885d2
a78021f
6ded32b
4d3e39e
2357997
4271b67
387c5cd
5578ad2
128c12b
535d25c
be616d3
d6c9632
67d9e58
2bea4cf
54d37d1
ff2fff9
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
FixedScrollMetrics should assert that these constraints are true.