Merge from vscode bd0efff9e3f36d6b3e1045cee9887003af8034d7

This commit is contained in:
ADS Merger
2020-05-06 02:35:49 +00:00
parent 9a7810cbee
commit 8420d9f04e
243 changed files with 4276 additions and 2478 deletions

View File

@@ -1477,12 +1477,12 @@ export async function pathsToEditors(paths: IPathData[] | undefined, fileService
const editors = await Promise.all(paths.map(async path => {
const resource = URI.revive(path.fileUri);
if (!resource || !fileService.canHandleResource(resource)) {
return undefined; // {{SQL CARBON EDIT}} @anthonydresser revert after strictnullchecks
return undefined; // {{SQL CARBON EDIT}} @anthonydresser strict-null-checks
}
const exists = (typeof path.exists === 'boolean') ? path.exists : await fileService.exists(resource);
if (!exists && path.openOnlyIfExists) {
return undefined; // {{SQL CARBON EDIT}} @anthonydresser revert after strictnullchecks
return undefined; // {{SQL CARBON EDIT}} @anthonydresser strict-null-checks
}
const options: ITextEditorOptions = (exists && typeof path.lineNumber === 'number') ? {