豆豆友情提示:这是一个非官方 GitHub 代理镜像,主要用于网络测试或访问加速。请勿在此进行登录、注册或处理任何敏感信息。进行这些操作请务必访问官方网站 github.com。 Raw 内容也通过此代理提供。
Skip to content

chore: add UniverseManager to create DevTools Universes for each Page#621

Merged
szuend merged 1 commit intomainfrom
devtools-universe
Nov 28, 2025
Merged

chore: add UniverseManager to create DevTools Universes for each Page#621
szuend merged 1 commit intomainfrom
devtools-universe

Conversation

@szuend
Copy link
Copy Markdown
Contributor

@szuend szuend commented Nov 28, 2025

A follow-up PR will add a single instance of the UniverseManager to McpContext similarly to the *Collectors. We don't do that in this PR yet, as we need to wait for some chrome-devtools-frontend changes to roll.

@szuend szuend force-pushed the devtools-universe branch 2 times, most recently from 17d4fe8 to 162497e Compare November 28, 2025 08:21
@szuend szuend requested a review from OrKoN November 28, 2025 08:21
Comment thread src/DevtoolsUtils.ts Outdated
Comment thread src/DevtoolsUtils.ts
@szuend szuend force-pushed the devtools-universe branch 2 times, most recently from 73ed080 to afa93f2 Compare November 28, 2025 09:13
@szuend szuend enabled auto-merge (squash) November 28, 2025 09:16
@szuend szuend merged commit 589d994 into main Nov 28, 2025
20 checks passed
@szuend szuend deleted the devtools-universe branch November 28, 2025 09:19
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.

2 participants