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

Ware source explorer refresh issue in DevStudio #1204

Open

DorianGerardin opened this issue Jun 21, 2024 · 0 comments

Assignees

Labels

devstudio unconfirmed bug

Contributor

DorianGerardin commented Jun 21, 2024 •

edited

Loading

When you delete a ware folder (which is opened in devstudio), and restore it, if you try to migrate, ware source explorer is not refreshed

DorianGerardin added the devstudio label

DorianGerardin added this to the release-2.2.0 milestone

DorianGerardin assigned DorianGerardin and Arthoni

DorianGerardin added the unconfirmed bug label

DorianGerardin removed this from the release-2.2.0 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment