mirror of
https://github.com/Microsoft/vscode
synced 2024-08-27 21:09:43 +00:00
[html] remove document settings on buffer close
This commit is contained in:
parent
964028f97b
commit
00a44d37c5
|
@ -47,6 +47,10 @@ let scopedSettingsSupport = false;
|
|||
|
||||
var globalSettings: Settings = {};
|
||||
let documentSettings: { [key: string]: Thenable<Settings> } = {};
|
||||
// remove document settings on close
|
||||
documents.onDidClose(e => {
|
||||
delete documentSettings[e.document.uri];
|
||||
});
|
||||
|
||||
function getDocumentSettings(textDocument: TextDocument, needsDocumentSettings: () => boolean): Thenable<Settings> {
|
||||
if (scopedSettingsSupport && needsDocumentSettings()) {
|
||||
|
|
Loading…
Reference in a new issue