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

feature: Errors sidebar #193

Merged
merged 4 commits into from
Oct 10, 2023
Merged

feature: Errors sidebar #193

merged 4 commits into from
Oct 10, 2023

Conversation

mscolnick
Copy link
Contributor

@mscolnick mscolnick commented Oct 9, 2023

Screenshot 2023-10-09 at 12 30 49 PM

@vercel
Copy link

vercel bot commented Oct 9, 2023

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
marimo-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback Oct 10, 2023 6:25pm
marimo-storybook ✅ Ready (Inspect) Visit Preview 💬 Add feedback Oct 10, 2023 6:25pm


if (errors.length === 0) {
// TODO: show an empty state
return null;
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

worth chatting how we want to style this across all panels - i do also like just showing nothing / keeping it minimal

@akshayka akshayka merged commit 6c45ca6 into main Oct 10, 2023
19 checks passed
@akshayka akshayka deleted the ms/errors-sidebar branch October 10, 2023 18:35
@github-actions github-actions bot locked and limited conversation to collaborators Oct 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants