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.

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

Fix: refresh my workspace #5873

Merged
merged 12 commits into from
Dec 5, 2024
Merged

Conversation

thewahome
Copy link
Contributor

Overview

  • When certain functions are carried out against the workspace file, the workspace tree hasn't been responding accordingly. So the tree items did not match the contents of the file.

This PR introduces refreshes after:

  • generation
  • regeneration (button and command)
  • delete -> a delay is added because the refresh was happening before the changes are complete in the workspace file

@thewahome thewahome requested a review from a team as a code owner December 5, 2024 11:53
@thewahome thewahome added the type:bug A broken experience label Dec 5, 2024
@thewahome thewahome enabled auto-merge (squash) December 5, 2024 12:07
Copy link
Member

@baywet baywet left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for making the changes!

@thewahome thewahome merged commit 2a39c38 into main Dec 5, 2024
211 checks passed
@thewahome thewahome deleted the fix/extension/refresh-my-workspace branch December 5, 2024 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type:bug A broken experience
Projects
Status: Done ✔️
Development

Successfully merging this pull request may close these issues.

2 participants