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

Fix Blueprint Tree scrollbar spacing #3165

Closed
abey79 opened this issue Aug 31, 2023 · 0 comments · Fixed by #4340
Closed

Fix Blueprint Tree scrollbar spacing #3165

abey79 opened this issue Aug 31, 2023 · 0 comments · Fixed by #4340
Labels
🪳 bug Something isn't working ui concerns graphical user interface
Milestone

Comments

@abey79
Copy link
Member

abey79 commented Aug 31, 2023

That spacing right of the scroll bar should be smaller:

image
@abey79 abey79 added 🪳 bug Something isn't working ui concerns graphical user interface labels Aug 31, 2023
abey79 added a commit that referenced this issue Nov 27, 2023
### What

This PR changes the way inner margins and `ScrollAreas` are nested to
avoid some visual issues.

- Fixes #3165
- Fixes full span display bug:
#4324 (comment)

### Checklist
* [x] I have read and agree to [Contributor
Guide](https://github.com/rerun-io/rerun/blob/main/CONTRIBUTING.md) and
the [Code of
Conduct](https://github.com/rerun-io/rerun/blob/main/CODE_OF_CONDUCT.md)
* [x] I've included a screenshot or gif (if applicable)
* [x] I have tested [demo.rerun.io](https://demo.rerun.io/pr/4340) (if
applicable)
* [x] The PR title and labels are set such as to maximize their
usefulness for the next release's CHANGELOG

- [PR Build Summary](https://build.rerun.io/pr/4340)
- [Docs
preview](https://rerun.io/preview/71996e8cabf9dc864f4d7240779b3271472876c3/docs)
<!--DOCS-PREVIEW-->
- [Examples
preview](https://rerun.io/preview/71996e8cabf9dc864f4d7240779b3271472876c3/examples)
<!--EXAMPLES-PREVIEW-->
- [Recent benchmark results](https://build.rerun.io/graphs/crates.html)
- [Wasm size tracking](https://build.rerun.io/graphs/sizes.html)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🪳 bug Something isn't working ui concerns graphical user interface
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants