Merge pull request #103 from medihack/custom-tags

Add custom tags option
This commit is contained in:
Remco Haszing 2021-09-06 10:04:58 +02:00 committed by GitHub
commit 96abaa5bce
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 0 deletions

5
index.d.ts vendored
View file

@ -61,6 +61,11 @@ declare module 'monaco-editor/esm/vs/editor/editor.api' {
*/
readonly isKubernetes?: boolean;
/**
* A list of custom tags.
*/
readonly customTags?: string[];
readonly format?: boolean;
}

View file

@ -42,6 +42,7 @@ export function createWorkerManager(
enableSchemaRequest: defaults.diagnosticsOptions.enableSchemaRequest,
prefix: defaults.diagnosticsOptions.prefix,
isKubernetes: defaults.diagnosticsOptions.isKubernetes,
customTags: defaults.diagnosticsOptions.customTags,
},
});