[json] increase validationDelay

This commit is contained in:
Martin Aeschlimann
2017-12-15 13:03:28 +01:00
parent fbcd6e5dfe
commit f3f11cfbbf

View File

@@ -232,7 +232,7 @@ documents.onDidClose(event => {
});
let pendingValidationRequests: { [uri: string]: NodeJS.Timer; } = {};
const validationDelayMs = 200;
const validationDelayMs = 500;
function cleanPendingValidation(textDocument: TextDocument): void {
let request = pendingValidationRequests[textDocument.uri];