b35a7dd7de
There was no way to customize this as ScrollArea gets created inside Table widget, this exposes the functionality, so scroll bars on tables can be customized. <!-- Please read the "Making a PR" section of [`CONTRIBUTING.md`](https://github.com/emilk/egui/blob/master/CONTRIBUTING.md) before opening a Pull Request! * Keep your PR:s small and focused. * If applicable, add a screenshot or gif. * If it is a non-trivial addition, consider adding a demo for it to `egui_demo_lib`, or a new example. * Do NOT open PR:s from your `master` branch, as that makes it hard for maintainers to add commits to your PR. * Remember to run `cargo fmt` and `cargo cranky`. * Open the PR as a draft until you have self-reviewed it and run `./scripts/check.sh`. * When you have addressed a PR comment, mark it as resolved. Please be patient! I will review your PR, but my time is limited! --> |
||
|---|---|---|
| .. | ||
| datepicker | ||
| loaders | ||
| image.rs | ||
| layout.rs | ||
| lib.rs | ||
| loaders.rs | ||
| sizing.rs | ||
| strip.rs | ||
| syntax_highlighting.rs | ||
| table.rs | ||