fix two issues with notebookType and document selectors, (1) make sure that notebookType: * matches only when a notebook is around, (2) include notebookType-property when converting from extHost type to renderer type, fyi @dbaeumer

This commit is contained in:
Johannes
2022-04-20 09:47:06 +02:00
parent 89d1004371
commit 5931aa8ed6
4 changed files with 35 additions and 3 deletions

View File

@@ -1491,7 +1491,8 @@ export namespace LanguageSelector {
language: filter.language,
scheme: filter.scheme,
pattern: GlobPattern.from(filter.pattern),
exclusive: filter.exclusive
exclusive: filter.exclusive,
notebookType: filter.notebookType
};
}
}