reopenFileResource=newResource.with({path:paths.join(newResource.path,resource.path.substr(index+oldResource.path.length+1))});// parent folder got moved
}
...
...
@@ -229,6 +229,23 @@ export class FileEditorTracker implements IWorkbenchContribution {