Skip to content

Keep built-in extensions visible in Extensions gallery after install#11437

Open
Copilot wants to merge 2 commits into
masterfrom
copilot/fix-extension-gallery-behavior
Open

Keep built-in extensions visible in Extensions gallery after install#11437
Copilot wants to merge 2 commits into
masterfrom
copilot/fix-extension-gallery-behavior

Conversation

Copilot AI commented Jun 26, 2026

Copy link
Copy Markdown
Contributor

Built-in extensions were being removed from the Extensions gallery after being added to a project, while third-party extensions remained discoverable. This change aligns gallery behavior so bundled and third-party extensions are treated consistently after installation.

  • Behavior fix

    • Removed the dependency-based exclusion for bundled extensions in the gallery source list.
    • Built-in extensions (e.g., Servo) now remain visible in the Extensions page after being added.
  • Implementation

    • Updated webapp/src/extensionsBrowser.tsx in fetchBundled().
    • Deleted the filter that hid bundled packages when they already existed in pkg.mainPkg.deps.
  • Resulting UX

    • Users can re-open Extensions and still see built-in entries they previously installed, matching current third-party extension behavior.
// removed from fetchBundled()
.filter(pk => !pkg.mainPkg.deps[pk.name] || pkg.mainPkg.deps[pk.name].cppOnly)

Copilot AI changed the title [WIP] Fix built-in extension removal from extension gallery Keep built-in extensions visible in Extensions gallery after install Jun 26, 2026
Copilot AI requested a review from abchatra June 26, 2026 22:16
@abchatra abchatra marked this pull request as ready for review June 26, 2026 23:05
@abchatra abchatra requested a review from a team June 26, 2026 23:06
@abchatra

Copy link
Copy Markdown
Collaborator

Fixes microsoft/pxt-microbit#6974

@abchatra abchatra requested a review from jwunderl June 30, 2026 16:55
@jwunderl

Copy link
Copy Markdown
Member

Is showing built in extensions that are added the way we wanted to go? I would think better to not show the extension that has already been added, as it's a bit confusing what it would do -- update extension, remove extension, nothing, etc? (at first read that's how I perceived the issue as well since the 3rd party extension was in the 'but' portion, but on second read I'm not sure either way was pushed much just that there is a difference)

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.

3 participants