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.

Sign up for GitHub

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

Jump to bottom

Opening vscode.dev should not require a browser reload to update default marketplace built-in extensions #174682

Closed
alexdima opened this issue Feb 17, 2023 · 3 comments
Closed

Opening vscode.dev should not require a browser reload to update default marketplace built-in extensions #174682

alexdima opened this issue Feb 17, 2023 · 3 comments
Assignees
@sandy081
Labels
extensions Issues concerning extensions feature-request Request for new features or functionality on-testplan web Issues related to running VSCode in the web
Milestone
May 2023

Comments

@alexdima
Copy link
Member

  • visit vscode.dev
  • (wait 1 month)
  • visit vscode.dev again
  • all extensions should be up-to-date and they should not require a browser reload

image
@sandy081 sandy081 added under-discussion Issue is under discussion for relevance, priority, approach extensions Issues concerning extensions web Issues related to running VSCode in the web labels Feb 21, 2023
@sandy081 sandy081 added this to the March 2023 milestone Feb 21, 2023
@joaomoreno joaomoreno changed the title Opening vscode.dev should not require a browser reload to update web extensions Opening vscode.dev should not require a browser reload to update marketplace built-in extensions Feb 28, 2023
@kieferrm kieferrm mentioned this issue Mar 7, 2023
Closed
91 tasks
@joaomoreno joaomoreno removed their assignment Mar 20, 2023
@sandy081 sandy081 added feature-request Request for new features or functionality and removed under-discussion Issue is under discussion for relevance, priority, approach labels Mar 20, 2023
@sandy081 sandy081 modified the milestones: March 2023, April 2023 Mar 20, 2023
@kieferrm kieferrm mentioned this issue Apr 2, 2023
Closed
90 tasks
@sandy081 sandy081 modified the milestones: April 2023, May 2023 Apr 24, 2023
@kieferrm kieferrm mentioned this issue May 8, 2023
Closed
76 tasks
@sandy081
Copy link
Member

Implemented this support for additional builtin extensions.

@sandy081 sandy081 mentioned this issue May 29, 2023
Closed
3 tasks
@eamodio
Copy link
Contributor

eamodio commented May 29, 2023

@sandy081 this issue affects all extensions, but it sounds like the fix is this only for built-in extensions? Is that true?

@sandy081 sandy081 changed the title Opening vscode.dev should not require a browser reload to update marketplace built-in extensions Opening vscode.dev should not require a browser reload to update default marketplace built-in extensions May 30, 2023
@sandy081
Copy link
Member

@eamodio Thats correct. Created a follow up issue to support all builtin extensions.

@sandy081 sandy081 mentioned this issue May 30, 2023
Closed
@github-actions github-actions bot locked and limited conversation to collaborators Jul 13, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@sandy081 sandy081

Labels
extensions Issues concerning extensions feature-request Request for new features or functionality on-testplan web Issues related to running VSCode in the web
Projects
None yet
Milestone
May 2023
Development

No branches or pull requests
4 participants
@joaomoreno @eamodio @alexdima @sandy081