Skip to content

bugfix: Refresh the explorer correctly when it has default package#307

Merged
jdneo merged 2 commits into
masterfrom
cs/issue-305
Aug 19, 2020
Merged

bugfix: Refresh the explorer correctly when it has default package#307
jdneo merged 2 commits into
masterfrom
cs/issue-305

Conversation

@jdneo

@jdneo jdneo commented Aug 19, 2020

Copy link
Copy Markdown
Member

fix #305

@jdneo jdneo added this to the 0.12.0 milestone Aug 19, 2020
@jdneo jdneo merged commit f7b80ba into master Aug 19, 2020
@jdneo jdneo deleted the cs/issue-305 branch August 19, 2020 01:57
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.

Cannot auto refresh after edit package

2 participants