Skip to content

Conversation

@manzt
Copy link
Contributor

@manzt manzt commented Dec 10, 2025

The footer now has a single button to toggle the developer panel. It shows a terminal icon normally, or an error icon with count when there are errors. Either way, clicking toggles the panel.

The developer panel's Errors tab shows a red dot indicator when there are errors, even when viewing other tabs.

@manzt manzt requested a review from Light2Dark as a code owner December 10, 2025 23:24
@vercel
Copy link

vercel bot commented Dec 10, 2025

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

Project Deployment Review Updated (UTC)
marimo-docs Ready Ready Preview, Comment Dec 15, 2025 5:28pm

The footer now has a single button to toggle the developer panel. It
shows a terminal icon normally, or an error icon with count when there
are errors. Either way, clicking toggles the panel.

The developer panel's Errors tab shows a red dot indicator when there
are errors, even when viewing other tabs.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants