refresh ui after reload project

github0null · github0null · commit e14bc8b3a3a7 · 2023-04-20T20:42:38.000+08:00
diff --git a/src/EIDEProjectExplorer.ts b/src/EIDEProjectExplorer.ts
@@ -3751,9 +3751,12 @@ export class ProjectExplorer implements CustomConfigurationProvider {
             return;
         }
 
+        // close and reopen project
         this.dataProvider.Close(idx);
-
         this.dataProvider.OpenProject(workspaceFile.path, true);
+
+        // refresh explorer tree view
+        this.Refresh();
     }
 
     private async onProjectClosed(uid: string | undefined) {

Original file line number	Diff line number	Diff line change
`@@ -3751,9 +3751,12 @@ export class ProjectExplorer implements CustomConfigurationProvider {`
`3751`	`3751`	`return;`
`3752`	`3752`	`}`
`3753`	`3753`
	`3754`	`+ // close and reopen project`
`3754`	`3755`	`this.dataProvider.Close(idx);`
`3755`		`-`
`3756`	`3756`	`this.dataProvider.OpenProject(workspaceFile.path, true);`
	`3757`	`+`
	`3758`	`+ // refresh explorer tree view`
	`3759`	`+ this.Refresh();`
`3757`	`3760`	`}`
`3758`	`3761`
`3759`	`3762`	`private async onProjectClosed(uid: string \| undefined) {`