Skip to content

Ensure logs are scrollable in developer panel#8002

Merged
mscolnick merged 1 commit intomainfrom
push-vowvwktvovxm
Jan 27, 2026
Merged

Ensure logs are scrollable in developer panel#8002
mscolnick merged 1 commit intomainfrom
push-vowvwktvovxm

Conversation

@manzt
Copy link
Contributor

@manzt manzt commented Jan 27, 2026

Fixes #7992

The logs panel was using a React fragment as its root element, which prevented the flex layout and overflow styles from working correctly when rendered in the developer panel. This replaces the fragment with a flex column container, matching the pattern used by other scrollable panels in the codebase.

Fixes #7992

The logs panel was using a React fragment as its root element, which
prevented the flex layout and overflow styles from working correctly
when rendered in the developer panel. This replaces the fragment with a
flex column container, matching the pattern used by other scrollable
panels in the codebase.
@manzt manzt requested a review from Light2Dark as a code owner January 27, 2026 18:29
@vercel
Copy link

vercel bot commented Jan 27, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Review Updated (UTC)
marimo-docs Ready Ready Preview, Comment Jan 27, 2026 6:31pm

Request Review

@Light2Dark Light2Dark added the bug Something isn't working label Jan 27, 2026
@mscolnick mscolnick merged commit 00d4b6f into main Jan 27, 2026
32 of 34 checks passed
@mscolnick mscolnick deleted the push-vowvwktvovxm branch January 27, 2026 21:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Logs Panel Can't Scroll In Developer Panel

3 participants