[css] remove document settings on buffer close

This commit is contained in:
Martin Aeschlimann
2017-08-22 12:22:36 +02:00
parent 87aa00a849
commit 964028f97b

View File

@@ -90,6 +90,10 @@ function getLanguageService(document: TextDocument) {
}
let documentSettings: { [key: string]: Thenable<LanguageSettings> } = {};
// remove document settings on close
documents.onDidClose(e => {
delete documentSettings[e.document.uri];
});
function getDocumentSettings(textDocument: TextDocument): Thenable<LanguageSettings> {
if (scopedSettingsSupport) {
let promise = documentSettings[textDocument.uri];