Skip to content

Conversation

@mscolnick
Copy link
Contributor

@mscolnick mscolnick commented Dec 5, 2025

Closes #7395

Screenshot 2025-12-05 at 10 10 05 AM

@vercel
Copy link

vercel bot commented Dec 5, 2025

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

Project Deployment Preview Comments Updated (UTC)
marimo-docs Ready Ready Preview Comment Dec 5, 2025 7:46pm

manzt
manzt previously approved these changes Dec 5, 2025
Copy link
Contributor

@manzt manzt left a comment

Choose a reason for hiding this comment

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

This is really nice. I like the UI.

@mscolnick mscolnick merged commit 2ed2994 into main Dec 5, 2025
26 checks passed
@mscolnick mscolnick deleted the ms/duplicate-shortcut-banner branch December 5, 2025 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Duplicate keyboard shortcuts can be added

3 participants