Skip to content

Conversation

@mscolnick
Copy link
Contributor

@mscolnick mscolnick commented Oct 15, 2025

Intelligently set the portal container and collision boundary when inside vscode

@vercel
Copy link

vercel bot commented Oct 15, 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 Oct 16, 2025 9:18pm

@mscolnick mscolnick changed the title wip: portals in vscode vscode: portals in vscode Oct 16, 2025
@mscolnick mscolnick marked this pull request as ready for review October 16, 2025 21:11
@mscolnick mscolnick merged commit e1006de into main Oct 16, 2025
26 checks passed
@mscolnick mscolnick deleted the ms/portals-in-vscode branch October 16, 2025 21:32
@dmadisetti dmadisetti added the enhancement New feature or request label Oct 24, 2025
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.

4 participants