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

Import profiles, does the refresh button do anything? #172217

Closed
Tyriar opened this issue Jan 24, 2023 · 0 comments · Fixed by #172455
Closed

Import profiles, does the refresh button do anything? #172217

Tyriar opened this issue Jan 24, 2023 · 0 comments · Fixed by #172455
Assignees
@sandy081
Labels
insiders-released Patch has been released in VS Code Insiders polish Cleanup and polish issue user-profiles User profile management
Milestone
January 2023

Comments

@Tyriar
Copy link
Member

Tyriar commented Jan 24, 2023

Testing #172052

I couldn't figure out what this button does, isn't the file loaded once and not changed?

image
@sandy081 sandy081 added polish Cleanup and polish issue user-profiles User profile management labels Jan 24, 2023
@sandy081 sandy081 added this to the January 2023 milestone Jan 24, 2023
@sandy081 sandy081 mentioned this issue Jan 25, 2023
Merged
sandy081 added a commit that referenced this issue Jan 25, 2023
@sandy081
fix #172217
7c57380
sandy081 added a commit that referenced this issue Jan 25, 2023
@sandy081
fix #172217 (#172455)
26617f8
@VSCodeTriageBot VSCodeTriageBot added unreleased Patch has not yet been released in VS Code Insiders insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Jan 25, 2023
hediet pushed a commit that referenced this issue Jan 26, 2023
@sandy081 @hediet
fix #172217 (#172455)
60becd6
@github-actions github-actions bot locked and limited conversation to collaborators Mar 11, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@sandy081 sandy081

Labels
insiders-released Patch has been released in VS Code Insiders polish Cleanup and polish issue user-profiles User profile management
Projects
None yet
Milestone
January 2023
Development

Successfully merging a pull request may close this issue.

fix #172217 microsoft/vscode
3 participants
@Tyriar @sandy081 @VSCodeTriageBot