Merge pull request #71 from pgherveou/patch-1

Add missing setWorkerOptions
pull/2748/head
Alexandru Dima 4 years ago committed by GitHub
commit 6c41187baa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

4
monaco.d.ts vendored

@ -244,6 +244,10 @@ declare namespace monaco.languages.typescript {
* be performed
*/
setDiagnosticsOptions(options: DiagnosticsOptions): void;
/**
* Configure webworker options
*/
setWorkerOptions(options: WorkerOptions): void;
/**
* No-op.
*/

@ -268,6 +268,11 @@ export interface LanguageServiceDefaults {
*/
setDiagnosticsOptions(options: DiagnosticsOptions): void;
/**
* Configure webworker options
*/
setWorkerOptions(options: WorkerOptions): void;
/**
* No-op.
*/

Loading…
Cancel
Save