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

feat: add app-chrome and variables to editor #110

Merged
merged 19 commits into from
Sep 20, 2023
Merged

Conversation

mscolnick
Copy link
Contributor

@mscolnick mscolnick commented Sep 14, 2023

This change adds a variables pane to the marimo editor that can be opened by clicking a "variables" button in the bottom left:

image

Makes progress on #96

@vercel
Copy link

vercel bot commented Sep 14, 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 Sep 20, 2023 4:30pm
marimo-storybook ✅ Ready (Inspect) Visit Preview 💬 Add feedback Sep 20, 2023 4:30pm

@mscolnick mscolnick changed the title add variables table to storybook add app-chrome and variables to editor Sep 19, 2023
@mscolnick mscolnick changed the title add app-chrome and variables to editor feat: add app-chrome and variables to editor Sep 19, 2023
@mscolnick mscolnick marked this pull request as ready for review September 19, 2023 23:39
- fix app status indicator
- badge: green -> outline (less distracting)
- cell focus outline: blue, solid instead of green fuzzy
- remove number of variables from variable button (looked like errors?)
akshayka
akshayka previously approved these changes Sep 20, 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