reopenFileResource=newResource.with({path:paths.join(newResource.path,resource.path.substr(index+oldResource.path.length+1))});// parent folder got moved
reopenFileResource=resources.joinPath(newResource,resource.path.substr(index+oldResource.path.length+1));// parent folder got moved
return[`${FOLDER_SETTINGS_NAME}.json`,`${TASKS_CONFIGURATION_KEY}.json`,`${LAUNCH_CONFIGURATION_KEY}.json`].some(p=>p===name);// only workspace config files