fix empty settings (#44)

This commit is contained in:
Dima 2023-08-24 12:07:52 +02:00 committed by GitHub
parent 0f56c283a8
commit 906e40b273
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -108,6 +108,9 @@ function getDocumentSettings(resource: string): Thenable<Settings> {
scopeUri: resource,
section: 'aquaSettings',
});
if (!result) {
result = Promise.resolve(defaultSettings);
}
documentSettings.set(resource, result);
}
return result;