Skip to content

Refactor body scrollbars into external wrapper #28

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
Closed
Mrprey wants to merge 1 commit into from
Closed

Refactor body scrollbars into external wrapper #28

Mrprey wants to merge 1 commit into from

Conversation

@Mrprey
Copy link
Collaborator

@Mrprey Mrprey commented Oct 15, 2025

Summary

  • introduce a PlutoBodyRowsWithScrollbar wrapper that manages the row scroll controllers
  • pass the managed controllers down to PlutoBodyRows so the scrollable content is separated from the scrollbar painting
  • update the grid layout to compose the new wrapper and keep existing body layout intact

Testing

  • flutter test test/scenario/layout/layout_test.dart (fails: command not found: flutter)

https://chatgpt.com/codex/tasks/task_b_68ef9daa456883309f15bd3c10cc46f7

@Mrprey Mrprey closed this Oct 17, 2025
@Mrprey Mrprey deleted the codex/move-grid-scroll-to-external-component branch October 17, 2025 12:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

codex

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Mrprey