diff --git a/extensions/html/server/src/htmlServerMain.ts b/extensions/html/server/src/htmlServerMain.ts index c29012bd8b1..1ea94f267a3 100644 --- a/extensions/html/server/src/htmlServerMain.ts +++ b/extensions/html/server/src/htmlServerMain.ts @@ -47,6 +47,10 @@ let scopedSettingsSupport = false; var globalSettings: Settings = {}; let documentSettings: { [key: string]: Thenable } = {}; +// remove document settings on close +documents.onDidClose(e => { + delete documentSettings[e.document.uri]; +}); function getDocumentSettings(textDocument: TextDocument, needsDocumentSettings: () => boolean): Thenable { if (scopedSettingsSupport && needsDocumentSettings()) {