Normalize document selector pattern (#708)

master
Brad Cornes 2023-01-27 10:35:37 +00:00 committed by GitHub
parent 0fab387f77
commit 7fdf6c437d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1643,7 +1643,7 @@ class TW {
configPath: path.resolve(userDefinedConfigBase, relativeConfigPath), configPath: path.resolve(userDefinedConfigBase, relativeConfigPath),
documentSelector: [].concat(relativeDocumentSelectorOrSelectors).map((selector) => ({ documentSelector: [].concat(relativeDocumentSelectorOrSelectors).map((selector) => ({
priority: DocumentSelectorPriority.USER_CONFIGURED, priority: DocumentSelectorPriority.USER_CONFIGURED,
pattern: path.resolve(userDefinedConfigBase, selector), pattern: normalizePath(path.resolve(userDefinedConfigBase, selector)),
})), })),
isUserConfigured: true, isUserConfigured: true,
} }